java 7 build fix