13120 ----- Issue 3584: ToDo: remove DisplayText class Issue 3910: -0.01s2 printString is loosing its sign Issue 3906: SharedPool should be moved to Kernel Issue 3905: Delete empty packages
-- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.
