mini tools, mostly implemented in java and groovy