Re: [jbosstools-dev] FYI: JBoss Tools / Devstudio jobs on Central CI updated to use OpenJDK 1.8 instead of Oracle JDK 1.8 - should we pull a newer version?