got rid of a Java warning