/ErsetzenListener.java/1.1/Wed Sep 12 13:11:22 2007//
/FormdatOkListener.java/1.2/Mon Sep 17 16:14:39 2007//
/InfoListener.java/1.2/Mon Sep 17 16:14:52 2007//
/MyWindowListener.java/1.1/Thu Sep 13 07:53:02 2007//
/OpenButtonListener.java/1.1/Thu Sep 13 07:52:00 2007//
/SuchbegriffListener.java/1.2/Mon Sep 17 16:15:13 2007//
/TabAbbrechenListener.java/1.1/Wed Sep 12 13:04:42 2007//
/TabOkListener.java/1.2/Mon Sep 17 16:15:44 2007//
