Developers Toolkit

	The developers toolkit contains a number of utility files

*-------------------*--------------------------------------------------------------------*
|File               |Description                                                         |
*------------------*---------------------------------------------------------------------*
|{{{toolkit/replace.bash}replace.bash}} 	    |Bash script for recursive find/replace in \*.java files.            |
*------------------*---------------------------------------------------------------------*
|{{{toolkit/stats.bash}stats.bash}}         |Bash script for computing number of java files/lines in DSOL        |
*-------------------*--------------------------------------------------------------------*
|{{{toolkit/dsol_checks_31.xml}dsol_checks_31.xml}} |dsol-checkstyle for Eclipse 3.1                                   |
*-------------------*--------------------------------------------------------------------*