Where is org.jetbrains.annotations source code ?

It's in $/redist/src/src_annotations.zip.

I cannot find src_annotations.zip.

It is not anymore under $/redist/src/

- using IntelliJ IDEA Ultimate 2018.3

... also not in IntelliJ IDEA Ultimate 2019.1

Can you please fix this or provide the source code for the annotations in some other location?

... also not in IntelliJ IDEA Ultimate 2019.2

Can you please fix this or provide the source code for the annotations in some other location?

I am looking for the source code (with documentation) as there is no other documentation provided (or that I was able to locate) for the annotations packaged in the $/redist/annotations.jar.

For example the @Contract annotation provided with the $/redist/annotations.jar has a new method called "mutates". The purpose and usage of this new method is not clear at all. Although, I think I figured it out using the warning messages generated within the IDE, it is not a desired way to do it.

Can you please provide the source code with the documentations for classes included in the $/redist/annotations.jar package or provide the documentation?

The source code with documentation for annotation classes distributed with IntelliJ IDEA in $/redist/annotations.jar are located at: https://github.com/JetBrains/java-annotations

Given that these annotations are presumably under development, should the Git repository be tagged with the IDEA version that shipped that particular version of the annotations?  I can see only a few tags in the repository today.  I'm going to go ahead and use the latest version with 2019.3.1 anyway...

It would obviously be more convenient if you could ship a source zip int he $/redist directory though.  As appears to be the case for some other code there.

Would you be willing to accept an enhancement request to ship a source zip alongside $/redist/annotations.jar?