major bug fixes in Kevoree generator