/rba.tool.editor/src/rba/tool/editor/generator/
../
RBAModelGeneratorDelegate.xtend
RBAModelGeneratorExtensions.xtend
json
rtmodel
z3