fix Java bugs