Hi Mark, I am finishing the integration of the new core and noticed that it doesn't generate IDs any more. Is this by design?
My gut tells me that it should generate them as the default behavior. Taking the discussions from last week into account, we may want to provide an option to disable it, or to hook in an custom ID generator. What are your thoughts? Best, - Michael -- Michael Jastram (http://www.jastram.de, +49 (162) 274 83 94) Geschäftsführer, Formal Mind GmbH (http://formalmind.com) Wissenschaftler, Heinrich Heine Universität Düsseldorf (http://www.stups.uni-duesseldorf.de) 1. Vorsitzender, rheinjug e.V. (http://www.rheinjug.de) _______________________________________________ rmf-dev mailing list [email protected] http://dev.eclipse.org/mailman/listinfo/rmf-dev
