Useful Java utilities