public static void poly( double[] x, double[] y, double s )
	{
	
		int[] intx = new int[x.length];
		for ( int i = 0; i < x.length; i++ )	intx[i] = (int) x[i];
		int[] inty = new int[y.length];
		for ( int i = 0; i < y.length; i++ )	inty[i] = (int) y[i];
		if ( filling )
		{	
			pane.setColor( fillColor );
			pane.fillPolygon( intx, inty, (int)s );
		}
		if ( stroking )
		{
			Graphics2D g2d = (Graphics2D) pane;
			g2d.setStroke( new BasicStroke( (float) strokeWeight ) );
			pane.setColor( strokeColor );
			pane.drawPolygon( intx, inty, (int) s );
		}
	}