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