tree cf0a41432c134721d9aa4c6da013c3e9a53872e9
parent c2a057199734bb6d49994b09e01198d6dcca23f8
author tarendt <tarendt> 1353594027 +0000
committer tarendt <tarendt> 1353594027 +0000

manager class HenshinRuntimeManager added