[isabelle-dev] jEdit

[Christian Sternagel]

Dear all,

with the current repo head (changeset fe43977e434f) I obtain the 
following error when trying to start jEdit (after a successful ./build 
-b HOL):

### Building Isabelle/jEdit ...
Changed files:
   src/isabelle_sidekick.scala
src/isabelle_sidekick.scala:109: error: trait ListCellRenderer takes 
type parameters
                     new ListCellRenderer {
                         ^
src/isabelle_sidekick.scala:113: error: class JList takes type parameters
                           list: JList, value: Any, index: Int,
                                 ^
src/isabelle_sidekick.scala:109: error: type mismatch;
  found   : AnyRef{}
  required: javax.swing.ListCellRenderer[?>: Nothing <: Any]
                     new ListCellRenderer {
                     ^
three errors found

Is this related to the recent change from Java 1.7 to 1.6? In other 
words, should I locally fall back to Java 1.6 when using the development 
repository?

cheers

chris