fix failure without preJDK7 flag