!7

p-subst {
  editJavaX(sourceCodeOfJDKClass("java.util.Collections"));
}