JDK 12 RFR of JDK-8205615: Start of release updates for JDK 12 / JDK-8205621: Increment JDK version for JDK 12

[Jonathan Gibbons]

On 6/25/18 4:13 PM, David Holmes wrote:
>
> And should these be using --release instead of -source + -target? 
There might be a chicken-and-egg problem here, since --release needs to 
be appropriately updated as well.  -source and -target are simpler and 
more likely to be easy to update.

-- Jon