bugfix: when a rule contains / it is replaced by &#47 in JavaDoc
user-specific extension of command line arguments updated