The Java Runtime Environment