Fix a minor bug in the javac checker.