Method removePath

src/main/java/mudmap2/backend/Place.java:240–244

Removes a path @param path

(final Path path)

     * @param path
     */
    public void removePath(final Path path) {
        paths.remove(path);
        path.getOtherPlace(this).paths.remove(path);
        callWorldChangeListeners();
    }

    /**
     * Removes a set of paths