checker/jtreg/nullness/issue141/OutputStreamWriter.java

interface OutputStreamWriter extends Closeable, Appendable {}