fix Java warning