/**
  * Return true if the given package is known to this catalog.
  *
  * @param packageName the name to check.
  * @return true if this catalog has any information about classes in the given package.
  */
 public boolean isKnownPackage(String packageName) {
   return packageSet.contains(packageName);
 }