fix a java warning