Changeset: f79cfb07f13f Author: hannesw Date: 2018-09-14 14:45 +0200 URL: http://hg.openjdk.java.net/jdk/jdk/rev/f79cfb07f13f 8209914: javadoc search sometimes generates bad URIs Reviewed-by: jjg ! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js