remove predecessor of dest in removeJumps

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@1100 379699f6-c40d-0410-875b-85095c16579e

jode/jode/flow/FlowBlock.java.in

@@ -742,7 +742,7 @@ public class FlowBlock {
             if (pred == null)
                 /* The special start marker */
                 continue;
-            if (pred.successors.get(this) == null)
+            if (!pred.successors.containsKey(this))
                 throw new AssertError("Inconsistency");
         }
 
@@ -1481,6 +1481,8 @@ public class FlowBlock {
     }
 
     public Jump removeJumps(FlowBlock dest) {
+	if (dest != END_OF_METHOD)
+	    dest.predecessors.remove(this);
 	return ((SuccessorInfo) successors.remove(dest)).jumps;
     }