Use javac 1.6