+ // create/recover the sub menus that might be populated for this link.
+ JMenu[] wflinkMenus = gurlMenus.get(label);
+ if (wflinkMenus == null)
+ {
+ // three types of url that might be
+ // created.
+ wflinkMenus = new JMenu[]
+ { null, new JMenu("IDS"), new JMenu("Sequences"),
+ new JMenu("IDS and Sequences") };
+ gurlMenus.put(label, wflinkMenus);
+ }
+