[isabelle-dev] jEdit

Christian Sternagel c-sterna at jaist.ac.jp
Fri Apr 27 06:33:42 CEST 2012

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: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 



More information about the isabelle-dev mailing list