Various utilities I wrote or use for my dedicated minecraft servers