JDK 7 compatibility