As part of testing and removing bug #728 (placing methods in the wrong class), I migrated to Eclipse 3.7.
For VerveineJ, this implies that the org.eclipse.* jars (in the "lib" subdir) have been updated to the corresponding new versions
Still as part of this bug, I stumble on the fact that in Java, enums are implicit subtype of the "java.lang.Enum<E>" class.
VerveineJ now reflect this in the exported model (although more work is still required on this)
Finally, after all these changes, one test was red and has been commented out for now.
Hopefully I will be able to correct it soon.
nicolas