Merge "core.platform.api.stubs: Fix OpenJDK9 compilation."