I20220927-1800
JavaRuntime.getExecutionEnvironmentsManager().getEnvironment(execEnvID) may return null Co-authored-by: Jörg Kubitz <jkubitz-eclipse@gmx.de>
JavaRuntime.getExecutionEnvironmentsManager().getEnvironment(execEnvID) may return null Co-authored-by: Jörg Kubitz <jkubitz-eclipse@gmx.de>