201202203204205206207208209210211
loc.getCharacterOffset()); errors.add(e); } catch (Exception e) { System.err.println("error for file: " + file + ": " + e); e.printStackTrace(System.err); continue; } if (errors.isEmpty()) {
199200201202203204205206207208209