4.4. Quelltext modifizieren
                Jetzt kann der Quelltext von Pauker modifiziert werden. Der
                Java-Quelltext befindet sich in den Paketen pauker.program und
                pauker.program.gui.swing.
            
                Wenn Sie die Taste
                F6 drücken, wird der
                Pauker-Quelltext automatisch übersetzt und Pauker gestartet.