[MOD] removing unused header-member from file


git-svn-id: https://svn.uni-konstanz.de/disy/Treetank/trunk/treetank@7587 e3ddb328-5bfe-0310-b762-aafcbcbd2528
[MOD] formatting


git-svn-id: https://svn.uni-konstanz.de/disy/Treetank/trunk/treetank@7588 e3ddb328-5bfe-0310-b762-aafcbcbd2528
Merge remote-tracking branch 'refs/remotes/git-svn'