[OWLAPI-developer] Version 4 GitHub code compiler error

[Lorenz B. <bue...@in...>]

Hello,

when I checkout the latest GitHub cdoe of branch version4 I get 2 
compiler errors in class 
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching line 62

and class 
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching 
line 64

with error message

Type mismatch: cannot convert from List<capture#5-of ? extends 
OWLAnnotation> to List<OWLAnnotation>

In both lines, a List<OWLAnnotation> object is set by

this.annotations = Collections.singletonList(annotations
                         .iterator().next());

Is it a problem of my IDE or Java version (JDK 1.7.0_40)?

Kind regards,
Lorenz

-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center