make sure it builds with java 1.6