.
requirements (Android). But Java’s type system is extendable with annotations. The Checker Framework is an interesting project that adds a series of new optional, backwards compatible type annotations to Java which can detect things like thread safety issues, immutability violations, even mixing of