Added comment that tools.jar must be on classpath
to avoid restart of DrJava. M src/developer/supportingTechnology.docbook
Authored by: mgricken 2008-02-27
Parent: [r4368]
Child: [r4370]