Some useful Java utilities