new plugin "de.itemis.mps.util"