| Class and Description |
|---|
| org.checkerframework.javacutil.PluginUtil
Renamed to
SystemUtil and deleted some unused methods. |
| Annotation Type and Description |
|---|
| org.checkerframework.framework.source.SuppressWarningsKeys
Use
SuppressWarningsPrefix instead. |