(this is probably a javac crasher)