jdk7 fix