Address addr = new Address(bus, address); Locomotive locomotive = addressToLocomotives.get(addr); locomotive.locomotiveChanged(drivemode, v, vMax, functions);
    public void GLset(double timestamp, int bus, int address, String drivemode,        int v, int vMax, boolean[] functions) {        // FIXME: removed to get a smoother LocomotiveWidget        // Address addr = new Address(bus, address);        // Locomotive locomotive = addressToLocomotives.get(addr);        // locomotive.locomotiveChanged(drivemode, v, vMax, functions);        // informListeners(locomotive);    }