My various java tools