Bring the dev docs up to date.

I'm installing JDK 8u25 right now.