Index: trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/ITaskBuilder.java
===================================================================
--- trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/ITaskBuilder.java	(revision 1765)
+++ trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/ITaskBuilder.java	(revision 1766)
@@ -257,3 +257,12 @@
     void replaceChild(ISelection parent, ITask oldChild, ITask newChild);
 
+    /**
+     * <p>
+     * TODO: comment
+     * </p>
+     *
+     * @param instance
+     */
+    void discardTaskInstance(ITaskInstance instance);
+
 }