Does this mean that tools like sdkman can include the Oracle JDK? (I haven't found any PR for it yet)