The open source IFML editor - Based on Sirius