Install JavaToolbox search plug-ins for Mozilla

These plug-ins will allow you to search tools in the JavaToolbox by name or by description. They are used from Mozilla's or Firefox' search box.