checker/jtreg/nullness/issue141/Readable.java

interface Readable {}