Oracle plans to migrate OpenJDK’s source code library to GitHub