public static void removePort(String name) { JumpPort port = ports.get(name); port.delete(); ports.remove(name); }