public void delete(Node n)
	{
		int i = 0, x1 = 0, x2 = 0, y1 = 0, y2 = 0;
		for(; i < coord.size() && !coord.get(i).equals(n); i++){}
		if(i == coord.size()){ return;}
		Graphics g = draw_surface.getGraphics();
		g.setColor(draw_surface.getBackground());
		g.fillOval(coord.get(i).x-26, coord.get(i).y-26, 52, 52);
		Iterator<Node> it_node = n.transitions.iterator();
		Node s = null;
		while(it_node.hasNext())
		{
			s = it_node.next();
			g.drawLine(coord.get(i).x, coord.get(i).y, s.x, s.y);
			for(int j = 0; j < trace.size(); j++)
				if(trace.get(j).getN1() == n || trace.get(j).getN2() == n)
					trace.remove(j);				
		}
		coord.remove(i);
		return;
	}