// package java manages portable JRE downloads and detection.
package java