From a92a76495d217bb98f05c755abeda7f39e8f0af0 Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Fri, 27 Nov 2009 12:55:37 +0000 Subject: [PATCH] writes the correct classes, at least in the test-cases -- GitLab