* Correction for JavaBridge.war inclusion on j2ee package instead of docs.
* Correction for devel package dependency on jdk instead of jre
Authored by: andremachado 2007-08-07
Parent: [r580]
Child: [r582]
