Seems like a javac bug