FileName fileNameOld = (FileName)fileNames.get(key); fileNameOld.setHaeufigkeit(fileName.getHaeufigkeit());
FileName oldFileName = null; int size = fileNames.size(); for (int i=0; i<size; i++){ oldFileName = (FileName)fileNames.get(i); if (oldFileName.getDateiName().compareToIgnoreCase(fileName.getDateiName())==0){ oldFileName.setHaeufigkeit(fileName.getHaeufigkeit()); } }
        public void addFileName(FileName fileName){            MapSetStringKey key = new MapSetStringKey(fileName.getDateiName());            if (!fileNames.containsKey(key)){                fileNames.put(key, fileName);            }            else{                FileName fileNameOld = (FileName)fileNames.get(key);                fileNameOld.setHaeufigkeit(fileName.getHaeufigkeit());            }        }