My library of (hopefully) useful Java tools.