1984:189942cdf585 | 1985:0e6577980181 |
---|---|
104 pkgusegen.close(); | 104 pkgusegen.close(); |
105 } catch (IOException exc) { | 105 } catch (IOException exc) { |
106 configuration.standardmessage.error( | 106 configuration.standardmessage.error( |
107 "doclet.exception_encountered", | 107 "doclet.exception_encountered", |
108 exc.toString(), filename); | 108 exc.toString(), filename); |
109 throw new DocletAbortException(); | 109 throw new DocletAbortException(exc); |
110 } | 110 } |
111 } | 111 } |
112 | 112 |
113 | 113 |
114 /** | 114 /** |