Modified instructions to use Maven to make it easier for Maven users

[renatoathaydes]

I only modified the Maven instructions file in the manual...

I've created a simple project on GitHub to test this:

https://github.com/renatoathaydes/checker-maven-demo/tree/master

If you're happy with this, then I'll also update the Gradle instructions to be in line with the Maven instructions.

[renatoathaydes]

I was not sure how you want to update this note...

[jthaine]

Version 3.3

[mernst]

Hi Renato. We would like to merge these instructions into the manual.
However, there are still some remaining issues.

• There are a number of textual edits that need to be applied.
• The proposed instructions don't work for Java 7. This needs to be clarified. The current patch replaces the existing instructions, but instead it should retain the existing instructions and also add new ones, indicating that users should use whichever one is appropriate for their situation. For examples, if you want to use annotations in comments, then you have to use the current instructions rather than these new ones.

Could you please make these changes? Then we can test the instructions again, and when the instructions work for everyone, we can push them to the mainline.

Thanks!

[renatoathaydes]

Hi @mernst . I've been busy with my job and side-projects... so I haven't had time to do this yet.

I will try to do it, but it feels like an incomplete solution knowing it won't work for Java 7... anyway, I will try to find time this week to do this.

[jthaine]

Need one more dependency: a dependency on the 'compiler' artifact (same groupId: org.checkerframework, same version).

[jthaine]

Good news! I got the instructions to work against JDK 7 using our Java 8 compiler jar. All that was missing from my additional instructions was to specify a dependency on the compiler jar. I tried it on your demo project and on Guava and it worked on both.
Renato, I think the instructions are good to go if you make the adjustments I mentioned. I also e-mailed you an updated pom.xml for your demo project that works with JDK 7.