a Java wrapper for GPG