Setting the Oracle JRE (see #281)