Recompiled locally for Java 1.6