this(label, patch, ((Driver)patch.getDriver()).patchNameSize);
this(label, patch, ((ISingleDriver) patch.getDriver()).getPatchNameSize());
    public PatchNameWidget(String label, IPatch patch) {        // FIXME define ISingleDriver.getPatchNameSize()        this(label, patch, ((Driver)patch.getDriver()).patchNameSize);    }