one more Java fix