A Java-based generator for JWK and JPSKs