make jdk7 happy