release 5.12.1: Fix for running Explorer 5.12 on JDK 6