muvitor: version number
henshin editor: version number