Comment by Thibaut

http://devdocs.io/openjdk~8/ (Java SE is proprietary; OpenJDK is open-source)