IntelliJ IDEA can infer an UnmodifiableView annotation if an unmodifiable Collection is returned from a method, and warn of incorrect modifying operations | JetBrains

IntelliJ IDEA Tip: You can configure IntelliJ IDEA so it doesn't show classes or functions/methods as unused if annotated with a particular annotation. This can be useful if annotations define the application flow. | JetBrains