public static boolean isCoreFileSaver(String classname){
  boolean result;
  String[] classnames;
  classnames=CORE_FILE_SAVERS.split(",");
  result=(Arrays.binarySearch(classnames,classname) >= 0);
  return result;
}

public static boolean isCoreFileSaver ( String classname ) { boolean result ; String [ ] classnames ; classnames = CORE_FILE_SAVERS . split ( "," ) ; result = ( Arrays . binarySearch ( classnames , classname ) >= 0 ) ; return result ; }
checks whether the given class is one of the hardcoded core file savers .
