+ return phy;
+ }
+
+ private final Phylogeny pi( Phylogeny phy, final List<String> to_remove_ids ) {
+ for( int i = 0; i < to_remove_ids.size(); ++i ) {
+ final String id = to_remove_ids.get( i );
+ final PhylogenyNode n = phy.getNode( id );
+ n.setName( n.getName() + " [" + ( i + 1 ) + "]" );
+ final NodeVisualData vis = new NodeVisualData();
+ vis.setFillType( NodeFill.SOLID );
+ vis.setShape( NodeShape.RECTANGLE );
+ vis.setSize( 6 );
+ vis.setNodeColor( new Color( i > 255 ? 0 : 255 - i, 0, 0 ) );
+ n.getNodeData().setNodeVisualData( vis );
+ }