semantic/test/fixtures/java/corpus/Throws.A.java

class Beyonce {
  void x() {
  BufferedReader newReader() throws FileNotFoundException {
      new BufferedReader(new InputStreamReader(new FileInputStream(file), charset));
    }
  }
}
// this doesn't work