Inspired by this comment by @codebude: Introduce a CPILINT_JAVA_HOME variable, which - if set - will be used instead of JAVA_HOME in the launch scripts. This allows users to indicate which Java installation to use, without impacting other tools on their system.
Inspired by this comment by @codebude: Introduce a CPILINT_JAVA_HOME variable, which - if set - will be used instead of JAVA_HOME in the launch scripts. This allows users to indicate which Java installation to use, without impacting other tools on their system.