Quoting Lars Noschinski <noschinl at in.tum.de>: > 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. Thanks! 'jedit -bf -l HOL' worked. Clemens