Acabo de encontrar jarhoo.com, una página que mantiene un servicio de búsqueda de clases java, indicándonos en qué archivo ".jar" encontrarlos.
En su página hablan de 525937 clases, 10428 archivos jar y 56 aplicaciones; yo de momento, he encontrado la librería que me faltaba y me estaba provocando el típico java.lang.NoClassDefFoundError.
Lo que no sé es si esta noticia es redundante y soy el último en enterarse de que esta página existía.