my various minor java tools, not much to see here...