public Set keySet(){
  return new TreeSet(lib_pathmap.keySet());
}

public Set keySet ( ) { return new TreeSet ( lib_pathmap . keySet ( ) ) ; }
returns a set whose values are the ( string ) names of the configured libraries .
