tree 730384d4caffb0ca6ba2e259b8156293763ecfc1
parent b170d4516fdac386aff589b17cb3e3371b369a46
author Henning Heitkoetter <hheitkoetter@googlemail.com> 1286874945 +0200
committer Henning Heitkoetter <hheitkoetter@googlemail.com> 1286874945 +0200

Editor.saveAs: create Bpmn2XmiResourceImpl

If the filename ends with xmi (e.g. bpmn2xmi), create a Bpmn2XmiResourceImpl
(instead of XmiResourceImpl).

Fix NullPointerException in basicSetResourceSet.