cleaning javac nametable: synchronization added