bugfix: if a rule contains a / and user specific Java code, then it is escaped in the JavaDoc by &#47
/ is only replaced in */