Add the pgp.java file