200201202203204205206207208209210211
} } for (Iterator i = variablesModel.iterator(); i.hasNext();) { ISourceElement elem = (ISourceElement) i.next(); String name = elem.getName(); // Only insert variables once if (!variables.contains(name)) { variables.add(name);