making it work with java 1.6