Fix build with JDK 1.7