removed a Java warning