Some useful java tools