Method push

src/main/java/mudmap2/backend/WorldFileList.java:76–94

Add entry. Removes previous occurencies of the same file. @param entry entry to add

(WorldFileEntry entry)

     * @param entry entry to add
     */
    public static void push(WorldFileEntry entry){
        if(entry != null){
            // remove equal entries
            LinkedList<WorldFileEntry> toBeRemoved = new LinkedList<>();

            for(WorldFileEntry it: worldFileHistory){
                if(it.getFile().equals(entry.getFile())){
                    toBeRemoved.push(it);
                }
            }

            for(WorldFileEntry it: toBeRemoved){
                worldFileHistory.remove(it);
            }

            // insert entry
            worldFileHistory.push(entry);
        }
    }

    /**
     * Get entry by file