fix #41 build with Java 7