JFind: a simple jar file locator