9-dev is unlocked

[Kevin Rushforth]

I have finished the white space cleanup for 9-dev, so it is unlocked 
now. Thanks for Dave Hill for his excellent work on the script to find 
and fix white space and file permission issues, and to Chien Yang and 
Dave for their help in testing this.

We are now "jcheck clean" as far as white space goes. We will run the 
checkWhiteSpace script regularly to ensure that we stay that way. Here 
is where you all come in.

It is now the shared responsibility of all developers to ensure that no 
bad white space creeps back into the repo. This means that you need to 
run "gradle checkrepo" before you push. We will soon wire up that task 
to the "gradle test" task so it will be even easier to spot.

I will send out instructions on running jcheck later, but for now, 
please use the checkWhiteSpace script either directly or via "gradle 
checkrepo".

Let me know if you have any questions.

Thanks.

-- Kevin