jdk12 and jdk13 java api docs disappeared

[Tim Bell]

Martin:

> Oh, yeah, right - Thursdays.

The docs are back:

Java SE 12 & JDK 12 (RC)[1]:
https://download.java.net/java/GA/jdk12/docs/api/

DRAFT 13-ea+8:
https://download.java.net/java/early_access/jdk13/docs/api/

> Too much trouble to implement atomic switchover to next version?

Good point.  download.java.net is on a CDN (content delivery network) 
but I'll see what I can do in the future.

Tim
[1] https://openjdk.java.net/jeps/3