A trivial java library