public synchronized void setVariable(String variable, String value) {
   if (value == null) variables.remove(value);
   else variables.put(variable, value);
 }