public static boolean isModule(IResource resource){
  return (resource != null && TLA_EXTENSION.equals(resource.getFileExtension()));
}

public static boolean isModule ( IResource resource ) { return ( resource != null && TLA_EXTENSION . equals ( resource . getFileExtension ( ) ) ) ; }
determines if the given member is a tla + module
