Added support for hover notifications with type info.
Switched to EISOP Checker Framework which provides necessary features.
Many improvements to the development process, source code, and documentation.
Dependency updates.
Dependency updates and resolved warnings reported by errorprone.
Size of the final jar file is greatly reduced.
Accepts arguments when starting.
JavacWrapper now runs in the background as a service, and checking files should be much faster.
Fixed the construction of classpath on Windows.