Java library with useful functions