GraphConstants.setBorder(this.attributes , BorderFactory.createRaisedBevelBorder());
GraphConstants.setBorder(this.attributes , BorderFactory.createLineBorder(Color.red));
	public GEStreamNode construct(GraphStructure graphStruct)	{		System.out.println("Constructing the filter " +this.getName());						if (this.getNumberOfWFs() > 0)		{			GEWorkFunction wf = this.getWorkFunction(0);			this.setUserObject("<HTML><H5>"+ this.getName() +"<BR>Push = " + wf.getPushValue() + 														  "<BR>Pop = " + wf.getPopValue() + 														  "<BR>Peek = " + wf.getPeekValue() + 														  "</H5></HTML>");		}		else		{			this.setUserObject("<HTML><H5>"+ this.getName() + "</H5></HTML>");		}		 		(graphStruct.getAttributes()).put(this, this.attributes);		//liveGraph.attributes.put(this, this.attributes);				GraphConstants.setAutoSize(this.attributes, true);		GraphConstants.setBounds(this.attributes, graphStruct.setRectCoords(this));		GraphConstants.setBorder(this.attributes , BorderFactory.createRaisedBevelBorder());		GraphConstants.setBackground(this.attributes, Color.blue);								this.port = new DefaultPort();		this.add(this.port);				graphStruct.getCells().add(this);		//liveGraph.cells.add(this);				this.draw();					return this;	}