static public void addOperator(UniqueString name,Operator op){
  DefinitionTable.put(name,op);
}

static public void addOperator ( UniqueString name , Operator op ) { DefinitionTable . put ( name , op ) ; }
it appears that this is not used .
