SourceDependencyParser parser =
new SourceDependencyParser(new InputStreamReader(in));
try {
parser.parse();
} catch (ParseException e) {
throw new ParseException(
fileName + " is malformed; "
+ "you should not compile contracts before compiling "
+ "the actual source files; "
+ "if this file is valid Java, you found a bug in Contracts for Java; "
+ "please email 'davidmorgan@google.com'",