/* */ }
/* */ catch (MalformedURLException e) {
/* 213 */ throw new FileNotFoundException(e.getMessage());
/* */ }
/* */ catch (IOException e) {
/* 216 */ throw new ParsingErrorException(e.getMessage());
/* */ }
/* */ catch (NumberFormatException e) {
/* 219 */ throw new ParsingErrorException("Expected a number, got " + e.getMessage());
/* */ }
/* */ }