use patched jpen-2.jar contributed by @StanLepunK, fixes #1