一些Java的小工具。