as i can set JAVA_HOME on the command line to specify the jre for my build i would like to configure the jre for builds triggered by buildship in eclipse. My suggestion would be to choose a jre from ...

JAVA_HOME is an operating system (OS) environment variable which can optionally be set after either the Java Development Kit (JDK) or the Java Runtime Environment (JRE) is installed. The JAVA_HOME ...