// Typical report here is "NetworkError" because the file does not exist.
// "https://." is coming from System.getProperty("user.home"), but this could
// be set by the page developer to anything, of course.
// Typical report here is "NetworkError" because the file does not exist.
// "https://." is coming from System.getProperty("user.home"), but this could
// be set by the page developer to anything, of course.