Bug 562882 - Add documentation for Java 12/13/14 in batch compiler

- Add instructions for selecting desired build name prior to selecting the
  JDT Core Batch Compiler build section
- Remove compilation note of default compliance level

Change-Id: I7fa976bf9b74cacabd60a35968271c3ae287df7a
1 file changed
tree: ed6f0f763d3b0a65341bc7837da83570bfa2a0c0
  1. bundles/
  2. .gitignore
  3. CONTRIBUTING
  4. LICENSE
  5. NOTICE
  6. pom.xml