diff -r 3f90880136fe -r d47f3995e35d src/Pure/Admin/component_solr.scala --- a/src/Pure/Admin/component_solr.scala Sat Jan 11 22:18:47 2025 +0100 +++ b/src/Pure/Admin/component_solr.scala Sat Jan 11 23:17:08 2025 +0100 @@ -70,7 +70,11 @@ def jar_path(file: String): String = "$SOLR_HOME/lib/" + file val classpath = List("solr-solrj", "solr-api", "solr-core").map(_ + "-" + version + ".jar") - val solr_jars = File.read_dir(component_dir.lib).filterNot(classpath.contains) + + def suppress(name: String): Boolean = + classpath.contains(name) || name.startsWith("slf4j-api") + + val solr_jars = File.read_dir(component_dir.lib).filterNot(suppress) component_dir.write_settings(""" SOLR_HOME="$COMPONENT"