tree b2875f0c659fcde9e4e1144a6f1dc8375d843062
parent 32b6d8f5b32ebbd4d8da6c868b41ee6f8db2e992
author margaretha <margaretha@ids-mannheim.de> 1759751930 +0200
committer margaretha <margaretha@ids-mannheim.de> 1759752040 +0200

Removed unused attributes and shutdown-hook.

Change-Id: If22e6bd58cb5ebdcd3976f6a6560562a3dc18691