--- a/dwtx/jface/internal/text/html/SubstitutionTextReader.d	Sun Aug 24 01:52:31 2008 +0200
+++ b/dwtx/jface/internal/text/html/SubstitutionTextReader.d	Sun Aug 24 02:20:40 2008 +0200
@@ -87,7 +87,7 @@
      * @return the next character
      * @throws IOException in case reading the character fails
      */
-    protected int nextChar() throws IOException {
+    protected int nextChar()  {
         fReadFromBuffer= (fBuffer.length() > 0);
         if (fReadFromBuffer) {
             char ch= fBuffer.charAt(fIndex++);
@@ -119,7 +119,7 @@
     /**
      * @see Reader#read()
      */
-    public int read() throws IOException {
+    public int read()  {
         int c;
         do {
 
@@ -141,21 +141,21 @@
     /**
      * @see Reader#ready()
      */
-    public bool ready() throws IOException {
+    public bool ready()  {
         return fReader.ready();
     }
 
     /**
      * @see Reader#close()
      */
-    public void close() throws IOException {
+    public void close()  {
         fReader.close();
     }
 
     /**
      * @see Reader#reset()
      */
-    public void reset() throws IOException {
+    public void reset()  {
         fReader.reset();
         fWasWhiteSpace= true;
         fCharAfterWhiteSpace= -1;