Bugfix: PKI now also works with Java 7, not only 6