changing from java 1.5 to 1.6 to fix a bug