[isabelle-dev] multiple weirdnesses

[Lawrence Paulson]

At d5c95b55f849

> ~/isabelle/Repos/src/HOL: isabelle components -a
> ### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/jedit_build-20130104"
> Getting "http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz"
> Unpacking "/Users/lp15/.isabelle/contrib/jedit_build-20130104.tar.gz"

This brand-new file has a creation date of 14-June-2011 !

"isabelle build" invariably returns "Error: Could not find or load main class isabelle.Build"

Fortunately, "isabelle jedit" works and puts many things right, but the file creation date is still very strange.

Larry