Das liegt daran das ich leider nicht genau sagen kann wo der Fehler liegt, oder ob ich einen Fehler habe.
Laut den Anweisungen auf der Seite von Netbeans habe ich JPF über CVS heruntergeladen. Hat auch geklappt, bis ich eine Datei jpf.zip entpacken sollte, die ich aber nicht habe.
Habe es auch von dieser Seite versucht:
user/run_nb_plugin ? Java Path Finder
klappt auch bis Punkt 3. Bei mir tauchen die JPF Eigenschaften nirgend auf, weder unter Datei noch unter Projekt.
Ich hab mal ein Beispielprogramm laufenlassen, aber irgendwo muss doch die Ausgabe von JPF kommen oder ?