got rid of some more Java warnings