if(prev_task==new_task) {    return new_task; } if (!TaskUtils.comparePreferences(new_task, prev_task)) { Enumeration ntPrefs = new_task.getPreferences(); ((NewTask)prev_task).setPreferences(ntPrefs); return prev_task; } return null;
if (prev_task == new_task) {    return new_task;
    protected Task changeTask(Task prev_task, Task new_task) {	// Checks for changed preferences.	if(prev_task==new_task) {	    // happens in GLMSourcing when updating an expansion where some part of it has failed.//   	    printError("changeTask SAME TASK! \nelement:"+TaskUtils.taskDesc(prev_task)+"\n parent: "+prev_task.getParentTask());	    // not sure when this happens	    return new_task;	} 	if (!TaskUtils.comparePreferences(new_task, prev_task)) {	    Enumeration ntPrefs = new_task.getPreferences();	    ((NewTask)prev_task).setPreferences(ntPrefs);	    return prev_task;	}	return null;    }