fix for JDK5