platform/org.eclipse.core.resources/.api_description
changeset 82 ad78fc66e5f6
parent 12 063eb66097dc