docs: private static String dotsToRegex(String dotsName) {
          /*
           * oops, next line requires JDK 1.5 return dotsName.replace("$",
           * "\\$").replace(".", SEP); could use String.replaceAll(regex, repl)
           * but that can be problematic--javadoc says "Note that backslashes (\)
           * and dollar signs ($) in the replacement string may cause the results
           * to be different than if it were being treated as a literal
           * replacement"
           */
          String tmp = dotsName.replace("$", "\\$");
          return tmp.replace(".", SEP);
          // note: The original code used the \Q and \E regex quoting constructs
          // to escape $.
      }