AbstractVariable(String name){
  if (name == null) {
    throw new NullPointerException();
  }
  name=name.trim();
  this.name=name;
}

AbstractVariable ( String name ) { if ( name == null ) { throw new NullPointerException ( ) ; } name = name . trim ( ) ; this . name = name ; }
builds a variable having the specified name .
