JRE: Java™ Runtime Environment