Fix java 1.7 compiler error