An error-prone checker which requires that classes be final, abstract or annotated with @ Open.
Primary LanguageJavaApache License 2.0Apache-2.0