docs: static protected String escapeForRegExp(String s){
  		String r = s; 
  		if (r != null && r.length() > 0){
  			for (String c: new String[]{"\\", "|", "&", "?", "*", "+", "{", "}",
  					"[", "]", "~", ".", "#", "@", "\"", "(", ")", "<", ">",
  					"^"}){
  				r = r.replace(c, "\\" + c);
  			}
  		}
  		return r;
  	}