HomeIsabelle/Phabricator

prefer strict operation: java.io.File.length returns 0 for non-existent file;