"j18.txt" marker to indicate that Java compiler target version 1.8 needed.
"Ensure.java" main Java program source