Все строковые литералы порождают объект String. По идее должно создаваться три объекта (2 строковых литерала "a" и "b", плюс результат конкатенации "ab"). Но, так как литералы являются константами и компилятор будет заранее знать их значение, то оптимизатор Java заранее сделает конкатенацию, и создаст один объект.