minor java fix