recompiled for Java 6