}
            }
            class b extends a
            {
                String getText() throws java.io.IOException 
                {