tuned signature -- no need for ooddities;

--- a/src/Tools/jEdit/src/popup.scala	Wed Aug 28 19:08:11 2013 +0200
+++ b/src/Tools/jEdit/src/popup.scala	Wed Aug 28 19:12:15 2013 +0200
@@ -17,9 +17,9 @@
   layered: JLayeredPane,
   component: JComponent,
   location: Point,
-  size: Dimension) extends javax.swing.Popup()
+  size: Dimension)
 {
-  override def show
+  def show
   {
     component.setLocation(location)
     component.setSize(size)
@@ -30,7 +30,7 @@
     layered.repaint(component.getBounds())
   }
 
-  override def hide
+  def hide
   {
     val bounds = component.getBounds()
     layered.remove(component)