/* Pebble Nice Names */
{	class = "pal.distance.DistanceMatrix", icon = "./images/dm.gif"}
{	class = "pal.tree.Tree", icon = "./images/tree.gif"}
{	class = "pal.tree.SimpleTree", icon = "./images/tree.gif"}
{	class = "pebble.tree.PebbleTree", icon = "./images/tree.gif"}
{	class = "pal.alignment.Alignment", icon = "./images/alignment.gif"}
{	class = "pal.alignment.SimpleAlignment", icon = "./images/alignment.gif"}
{	class = "pal.alignment.ReadAlignment", icon = "./images/alignment.gif"}
{	class = "pal.substmodel.SubstitutionModel", icon = "./images/sm.gif"}