RFR: 8224922: Access JavaFileObject from Element(s) [v11]

[Joe Darcy]

> Initial review to get some comments on the shape of the API. Tests are needed of course, as well as some tuning of the spec to better describe differences in behavior when class files rather than source files are the backing file type.

Joe Darcy has updated the pull request incrementally with two additional commits since the last revision:

 - Refine spec.
 - Add explicit spec coverage of auxillary types in package-info files.

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/5038/files
  - new: https://git.openjdk.java.net/jdk/pull/5038/files/bc9b6b12..8cdbf525

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=5038&range=10
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=5038&range=09-10

  Stats: 5 lines in 1 file changed: 4 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk/pull/5038.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/5038/head:pull/5038

PR: https://git.openjdk.java.net/jdk/pull/5038