--- src/libjava/classpath/tools/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java | 17 +--------- src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java | 11 ------ 2 files changed, 3 insertions(+), 25 deletions(-) Index: gcj-4.4-4.4.0/src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java =================================================================== --- gcj-4.4-4.4.0.orig/src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java +++ gcj-4.4-4.4.0/src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java @@ -1820,26 +1820,17 @@ public final class Main public boolean isCacheRawComments() { return true; } public String getGjdocVersion() { if (null == gjdocVersion) { - try { - Properties versionProperties = new Properties(); - versionProperties.load(getClass().getResourceAsStream("version.properties")); - gjdocVersion = versionProperties.getProperty("gjdoc.version"); - } - catch (IOException ignore) { - } - if (null == gjdocVersion) { - gjdocVersion = "unknown"; - } + gjdocVersion = "" + gnu.classpath.Configuration.CLASSPATH_VERSION; } return gjdocVersion; } public boolean isReflectionEnabled() { return this.option_reflection; } Index: gcj-4.4-4.4.0/src/libjava/classpath/tools/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java =================================================================== --- gcj-4.4-4.4.0.orig/src/libjava/classpath/tools/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java +++ gcj-4.4-4.4.0/src/libjava/classpath/tools/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java @@ -3731,30 +3731,17 @@ public class HtmlDoclet else { return title + " (" + optionWindowTitle.getValue() + ")"; } } protected String getDocletVersion() { if (null == docletVersion) { - try { - Properties versionProperties = new Properties(); - InputStream in = getClass().getResourceAsStream("/version.properties"); - if (in == null) { - in = new FileInputStream("src/resources/version.properties"); - } - versionProperties.load(in); - docletVersion = versionProperties.getProperty("gjdoc.version"); - } - catch (IOException ignore) { - } - if (null == docletVersion) { - docletVersion = "unknown"; - } + docletVersion = "" + gnu.classpath.Configuration.CLASSPATH_VERSION; } return docletVersion; } private Map getStylesheets() { Map sheets = new HashMap(); if (null != optionStylesheetFile.getValue()) {