An error-prone checker which requires that classes be final, abstract or annotated with @ Open. - View it on GitHub