Bug#893427: tunnelx FTBFS with openjdk-9

[Emmanuel Bourg]

Control: tags -1 + patch

Here is a patch fixing this issue.

--- a/src/SelectedSubsetsStructure.java
+++ b/src/SelectedSubsetsStructure.java
@@ -257,7 +257,7 @@
                                OneLeg ol = (OneLeg)tn.getUserObject(); 
                 if (btransitivesubset)
                                {
-                                       Enumeration<DefaultMutableTreeNode> 
tnenum = tn.depthFirstEnumeration(); 
+                                       Enumeration<DefaultMutableTreeNode> 
tnenum = (Enumeration) tn.depthFirstEnumeration(); 
                                        while (tnenum.hasMoreElements())
                                                
vsselectedsubsets.add(((OneLeg)tnenum.nextElement().getUserObject()).stto);  // 
the actual subset name, not the thing that appears in the treeview
                                }