Naval Robocode download
Glad you're interested. I updated the intro to include some helpful links.
What it boils down to is that you should download this file: https://github.com/ThomasHakkers/robocode/blob/naval-robocode-workspace/robocode.distribution/target/naval-robocode-0.9.0-setup.jar
After which you can follow this tutorial: Robocode/Eclipse/Create_a_Project
I hope you like it, and happy Naval Robocoding!
Can it be that you're from the Netherlands, near Tukkerland ?
Uhh. Wouldn't consider myself a Tukker since I was born near the sea, but yeah, I currently live in Twente :)