we have configured a couple of JDKs in our Jenkins, which are: JDK8, JDK9, JDK11, etc. The Jenkins itself is running under JDK8. Now, we want to get Jenkins to use JDK9 in all Pipelines if the "tools" statement isn't in pipeline's definition. Is there a way to do that?