Auxiliary command line tools related to JANINO.