svoid retireClassLoader(ClassLoader cl) {
  if (isJavaXClassLoader(cl))
    setOptAll(cl, retired := true, retiredMarker := new DefunctClassLoader);
}