fix for java 1.6