Some simple Java libraries