14023 ----- Issue 4457: Polymorph-ToolBuilder package need to be removed http://code.google.com/p/pharo/issues/detail?id=4457 Issue 4479: We should rename GLMUITheme into Pharo Theme http://code.google.com/p/pharo/issues/detail?id=4479 -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.