/** * DOCUMENT ME! * * @param var DOCUMENT ME! */ public void setVariable(String var) { variableTree.setVariable(var); }