Cleanroom build of Java Cryptography Extensions