protected void deletePatch(IPatch p, int patchNum) {
protected void deletePatch(Patch p, int patchNum) {
    protected void deletePatch(IPatch p, int patchNum) {	setPatchName(p, patchNum, "          ");    }