Change KAMI to compile with Java 1.6 rather than 1.7.