public Iterator<Dock> iterator() { return (Iterator<Dock>)(Object)ports.values().iterator(); }
public Interpreter getInterpreter() { return (Interpreter)getFleet(); }
public Iterator<Dock> iterator() { return (Iterator<Dock>)(Object)ports.values().iterator(); }
public Interpreter getInterpreter() { return (Interpreter)getFleet(); }