protected void setPatchName(Patch p, int patchNum, String name) {
public void setPatchName(Patch p, String name) {
    protected void setPatchName(Patch p, int patchNum, String name) {	// override this.    }