removeSuccessor: remove predecessor of destination if last jump

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

jode/jode/flow/FlowBlock.java

@@ -1391,9 +1391,10 @@ public class FlowBlock {
         if (prev != null)
             prev.next = destJumps.next;
         else {
-            if (destJumps.next == null)
+            if (destJumps.next == null) {
                 successors.remove(jump.destination);
-            else
+		jump.destination.predecessors.removeElement(this);
+            } else
                 successors.put(jump.destination, destJumps.next);
         }
     }