public boolean isStandardModule(String moduleName){
  return false;
}

public boolean isStandardModule ( String moduleName ) { return false ; }
i am hoping that a resolver of this class is never used to parse the spec . if it is , then a module ' s isstandard field will always be false in a run of distributed tlc . this isn ' t a problem , since that field was added for use by a version of sany called by tlaps . added by ll on 24 july 2013 .
