Changed the survey code to use the script: http://www.drjava.org/submit-usage.php?os.version=X&os.name=Y&java.vendor=Z&java.version=W
The current statistics can be dumped to an tab-delimited, excel-readable spreadsheet visible at: http://www.drjava.org/dump-usage.php
Authored by: mgricken 2008-06-13
Parent: [r4517]
Child: [r4519]
