Explore the Jif extensions for Java written at Cornell University. Download the compiler and battleship source code from cs.cornell.edu/jif/

1. Read the documentation: (File path on your system)\jif-3.3.1\doc\index.html

2. Once you have the system installed, open the (File path on your system) \jif-3.3.1\examples\battleship source code files. (Note: they have a .jif extension and your OS may confuse them for graphics files, but they are just standard text files.

3. Review the Battleship source code to understand how Jif implements policies.

4. Compile and test the game.

5. Report any interesting or important observations