/** Sets the list of recognized variables with the given one. */
 public void setVariables(String[] newVars) {
   breakpointWindow.setVariables(newVars);
 }