code: public String OLDdotify(String name) {
          return "n" + name.replace('-','_').replace('.','_').replace('/','_').replace(':','_').replace('#','_').replace('~','_').replace('&','_').replace('=','_').replace('?','_');
      }
docs: /* make name compatible with dot notation