got rid of a number of Java warnings