code: public static String fixHiddenMember(String name) {
  		return name.replaceAll(Pattern.quote(HIDDEN_MEMBER_CHARACTER),
  				Matcher.quoteReplacement(HIDDEN_MEMBER_REPLACEMENT_CHARACTER));
  	}
docs: Replies a fixed version of the given name assuming
  that it is an hidden action, and reformating
  the reserved text.
  
  <p>An hidden action is an action that is generated by the SARL
  compiler, and that cannot be defined by the SARL user.
  
  @param name the name to fix.
  @return the fixed name.