this will be inside CruxDevTools

git-svn-id: http://crux-framework.googlecode.com/svn@4443 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
this is now at CruxDevTools in trunk

git-svn-id: http://crux-framework.googlecode.com/svn@4444 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
Share project "CruxDevTools" into "https://crux-framework.googlecode.com/svn"

git-svn-id: http://crux-framework.googlecode.com/svn@4445 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
First commit

git-svn-id: http://crux-framework.googlecode.com/svn@4446 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
First commit

git-svn-id: http://crux-framework.googlecode.com/svn@4447 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
setting crux version

git-svn-id: http://crux-framework.googlecode.com/svn@4448 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
fixing ntfs problem when generating javadoc

git-svn-id: http://crux-framework.googlecode.com/svn@4449 a5d2bbaa-053c-11de-b17c-0f1ef23b492c