helpers for using the args4j command-line parsing library