JPithy's java lib