fixing a Java warning