public DevDrvPatchSelector (Patch patch, String wintitle, String action) {
public DevDrvPatchSelector (IPatch patch, String wintitle, String action) {
    public DevDrvPatchSelector (Patch patch, String wintitle, String action) {        this(patch,-1,wintitle,action);    }