Map staticNameToNewNames) {
Map<StaticAndField,Set<String>> staticNameToNewNames) {
    private static String newName(StaticAndField sf, 				  Map staticNameToNewNames) {        String newname =  sf.getTheStatic() + "_" 	                  + makeNewName(sf.getTheField());        addToMapValueSet(staticNameToNewNames, sf, newname);        return newname;    }