Cравнение строк и создание объектов

Пояснить результат программы и почему. В чём разница между строками a, a1, a2, a3?
Где происходит интернирование?
Можно ли синхронизироваться на