This application (JBFind) is just a rename of Search.opa and, in
it's current guise, has not altered from the last version available
for download. It is purely a namechange to keep it in the JB family.

JB 21/1/95