JDK 7 fixes