89 |
|
|
90 |
URL gjdocPropertiesURL = new URL(packageListDirURL, |
URL gjdocPropertiesURL = new URL(packageListDirURL, |
91 |
"gjdoc.properties"); |
"gjdoc.properties"); |
92 |
InputStream propertiesIn = gjdocPropertiesURL.openStream(); |
try { |
93 |
if (null != in) { |
InputStream propertiesIn = gjdocPropertiesURL.openStream(); |
94 |
Properties properties = new Properties(); |
if (null != in) { |
95 |
properties.load(propertiesIn); |
Properties properties = new Properties(); |
96 |
propertiesIn.close(); |
properties.load(propertiesIn); |
97 |
|
propertiesIn.close(); |
98 |
|
|
99 |
String gjdocCompatProperty = properties.getProperty("gjdoc.compat"); |
String gjdocCompatProperty = properties.getProperty("gjdoc.compat"); |
100 |
if (null != gjdocCompatProperty) { |
if (null != gjdocCompatProperty) { |
101 |
javadocCompatible = "true".equals(properties.getProperty("gjdoc.compat")); |
javadocCompatible = "true".equals(properties.getProperty("gjdoc.compat")); |
102 |
} |
} |
103 |
else { |
else { |
104 |
javadocCompatible = true; |
javadocCompatible = true; |
105 |
} |
} |
106 |
} |
} |
107 |
else { |
else { |
108 |
javadocCompatible = true; |
javadocCompatible = true; |
109 |
|
} |
110 |
|
} |
111 |
|
catch (FileNotFoundException e) { |
112 |
|
javadocCompatible = true; |
113 |
} |
} |
114 |
} |
} |
115 |
|
|