fix bug in Java compiler