removed some unused outcommented code

src/view/NiceButton.java

@@ -3,8 +3,6 @@ package view;
 import java.awt.Color;
 import java.awt.Image;
 import java.awt.Toolkit;
-import java.awt.event.MouseEvent;
-import java.awt.event.MouseListener;
 import java.awt.image.FilteredImageSource;
 import java.awt.image.ImageFilter;
 import java.awt.image.ImageProducer;
@@ -18,7 +16,7 @@ import javax.swing.JButton;
  * @author kolja
  *
  */
-public class NiceButton extends JButton implements MouseListener {
+public class NiceButton extends JButton {
     private static final long serialVersionUID = 1L;
 
     /**
@@ -29,39 +27,6 @@ public class NiceButton extends JButton implements MouseListener {
     {
         super( NiceButton.class.getResource( "/img/" + name + ".png" ) != null ? makeColorTransparent( new ImageIcon( NiceButton.class.getResource( "/img/" + name + ".png" ) ).getImage().getScaledInstance( 40, 40, Image.SCALE_AREA_AVERAGING ), Color.WHITE, 0 ) : new ImageIcon() );
         setSize( 40, 40 );
-        //setOpaque(false);
-        //setContentAreaFilled(false);
-        addMouseListener( this );
-        //setBorderPainted( false );
-        //setBackground( Color.LIGHT_GRAY );
-    }
-
-
-    @Override
-    public void mouseClicked(MouseEvent e) {}
-
-
-    @Override
-    public void mousePressed(MouseEvent e) {}
-
-
-    @Override
-    public void mouseReleased(MouseEvent e) {}
-
-
-    @Override
-    public void mouseEntered(MouseEvent e) {
-        //setOpaque( true );
-        //setContentAreaFilled(true);
-        //setBorderPainted( true );
-    }
-
-
-    @Override
-    public void mouseExited(MouseEvent e) {
-        //setOpaque( false );
-        //setContentAreaFilled(false);
-        //setBorderPainted( false );
     }
     
     private static ImageIcon makeColorTransparent(final Image im, final Color color, int tolerance) {

src/view/PseudoCodeRenderer.java

@@ -36,12 +36,6 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
         }
     }
     
-   /* @Override
-    public Dimension getPreferredSize()
-    {
-        return new Dimension( width, 30 );
-    }*/
-    
     @Override
     public Color getForeground() {
         return new Color(0xa9b7c6);