org.eclipse.viatra.addon.viewers.runtime.extensions.jface