fix for JDK 7