a library for java