make compatible with Java 1.6