Try running "jedit -bf", if that does not help, manually remove the build artifacts (I.e. the jar files). Sometimes rebuilding of the Java components doors not work reliably.
Clemens Ballarin <[email protected]> schrieb: >After updating the repository today (and a seemingly good run of >'isabelle components -a') 'isabelle jedit -l HOL' gives me > >2013-10-01 20:42:22.345 java[35294:903] *** NSInvocation: warning: >object 0x10ad24390 of class 'ThreadUtilities' does not implement >methodSignatureForSelector: -- trouble ahead >2013-10-01 20:42:22.348 java[35294:903] *** NSInvocation: warning: >object 0x10ad24390 of class 'ThreadUtilities' does not implement >doesNotRecognizeSelector: -- abort >/Users/ballarin/isabelle/repo/lib/Tools/java: line 1: 35294 Trace/BPT >trap "$ISABELLE_JDK_HOME/bin/$PRG" "$@" > >I'm still on MacOSX 10.6.8 Snow Leopard. Any ideas? > >Clemens > >_______________________________________________ >isabelle-dev mailing list >[email protected] >https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
