Setting up environment variable for checker framework

I want to use checker framework for java and I am setting environment variable for it but when I am checking version of it in PowerShell in windows. It is showing that it is not able to access checker framework.

java -Xbootclasspath/p:%CHECKERS%/binary/jsr308-all.jar -jar %CHECKERS%/binary/jsr308-all.jar -version 

Here is the error

Error: Unable to access jarfile %CHECKERS%/binary/jsr308-all.jar

I have unzipped the downloaded file in C drive. And for the environment variable here is the paths that i have tried.

  • 1

C:\checker-framework-2.7.0\checker-framework-2.7.0\checker\di

  • 2

C:\checker-framework\checkers

  • 3

C:\checker-framework-2.7.0\checker-framework-2.7.0\checker

  • 4

C:\checker-framework-2.7.0\checker-framework-2.7.0