switched to Java SE 1.6