Compilation errors in Eclipse

[albertolovato]

When importing sources in Eclipse, I get two errors in CallDependencies, at lines 276 and 281:
The method transferReturn(dk.brics.tajs.flowgraph.AbstractNode, dk.brics.tajs.flowgraph.BasicBlock, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, dk.brics.tajs.solver.CallKind) in the type INodeTransfer<StateType,ContextType> is not applicable for the arguments (dk.brics.tajs.flowgraph.AbstractNode, dk.brics.tajs.flowgraph.BasicBlock, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, ContextType extends dk.brics.tajs.solver.IContext<ContextType>, dk.brics.tajs.solver.CallKind)

These errors don't show up in Idea or ant, so I guess the Eclipse integrated compiler is interpreting generics differently from OpenJDK.

Are you experiencing these too? Is Eclipse even used in TAJS development?
Thank you.

[amoeller]

We shifted to IntelliJ IDEA long time ago. We'll look into the problem, but I suggest you use that or command-line compilation for now.