private void drawPruningCircle()
	{
		TriangulationPoint center = model.getCircleCenter();
		if(center!=null)
		{
			TriangulationPoint p1 = model.getEdgePoint1();
			TriangulationPoint p2 = model.getEdgePoint2();
			double radius = model.getCircleRadius();
			GL11.glLineWidth(2);
			GL11.glColor3f(.6f, .2f, .2f);
			DrawShape.sphere(center.getX(), center.getY(), 0.0, 0.02);
			DrawShape.circle(center.getX(), center.getY(), 0.0, radius, 50);
			GL11.glColor3f(.1f, .8f, .8f);
			DrawShape.line(p1.getX(), p1.getY(), p1.getZ(), p2.getX(), p2.getY(), p2.getZ());
		}
	}