Bring the dev docs up to date.

Last time I checked it did not work on Windows with JDK 8, I'll check if it's already fixed.