$ java src/SingleFile.java     (11.0.32.1)
launched from source, java.version=11.0.32.1