--- a/dwtx/jface/text/AbstractInformationControl.d	Sun Aug 24 01:46:20 2008 +0200
+++ b/dwtx/jface/text/AbstractInformationControl.d	Sun Aug 24 01:52:31 2008 +0200
@@ -414,7 +414,7 @@
         data.widthHint= size;
         data.heightHint= size;
         resizer.setLayoutData(data);
-        resizer.addPaintListener(new PaintListener() {
+        resizer.addPaintListener(new class()  PaintListener {
             public void paintControl(PaintEvent e) {
                 Point s= resizer.getSize();
                 int x= s.x - 2;
@@ -448,7 +448,7 @@
         });
         
         resizer.setCursor(new Cursor(resizer.getDisplay(), DWT.CURSOR_SIZESE));
-        MouseAdapter resizeSupport= new MouseAdapter() {
+        MouseAdapter resizeSupport= new class()  MouseAdapter {
             private MouseMoveListener fResizeListener;
             
             public void mouseDown(MouseEvent e) {
@@ -458,7 +458,7 @@
                 Point mouseLoc= resizer.toDisplay(e.x, e.y);
                 final int mouseX= mouseLoc.x;
                 final int mouseY= mouseLoc.y;
-                fResizeListener= new MouseMoveListener() {
+                fResizeListener= new class()  MouseMoveListener {
                     public void mouseMove(MouseEvent e2) {
                         Point mouseLoc2= resizer.toDisplay(e2.x, e2.y);
                         int dx= mouseLoc2.x - mouseX;
@@ -497,7 +497,7 @@
      * @param control the control that can be used to move the shell
      */
     private void addMoveSupport(final Control control) {
-        MouseAdapter moveSupport= new MouseAdapter() {
+        MouseAdapter moveSupport= new class()  MouseAdapter {
             private MouseMoveListener fMoveListener;
 
             public void mouseDown(MouseEvent e) {
@@ -507,7 +507,7 @@
                 Point mouseLoc= control.toDisplay(e.x, e.y);
                 final int mouseX= mouseLoc.x;
                 final int mouseY= mouseLoc.y;
-                fMoveListener= new MouseMoveListener() {
+                fMoveListener= new class()  MouseMoveListener {
                     public void mouseMove(MouseEvent e2) {
                         Point mouseLoc2= control.toDisplay(e2.x, e2.y);
                         int dx= mouseLoc2.x - mouseX;
@@ -771,7 +771,7 @@
      */
     public void addFocusListener(final FocusListener listener) {
         if (fFocusListeners.isEmpty()) {
-            fShellListener= new Listener() {
+            fShellListener= new class()  Listener {
 
                 public void handleEvent(Event event) {
                     Object[] listeners= fFocusListeners.getListeners();