Olá e bom dia a todos!
Eu uso o IntelliJ e ele vive dando sugestões de @Annotations, e eu não sei muito bem usar. Comecei a pesquisar, e me deparei com essa anotação:
@Contract(pure = true)Pois bem. Fui atrás da documentação dela (aqui) mas ainda assim não entendi para que serve. Qualquer explicação é bem vinda!
Esse é um tipo de anotação para validação como o Nullable e NotNull, mas o ele é definido para métodos e como o nome diz é um contrato de como o método deve ser utilizado, quando você define o método como puro quer dizer o método vai trabalhar como um método funcional, ou seja, não vai alterar os valores de variáveis informadas, apenas retornar um novo valor.
Espero que seja o suficiente para sanar sua dúvida. 
É uma poluição de código usada só por essa IDE.