public void drawFilledPolygon(double... positions) {
		if(positions.length == 0 || positions.length % 2 != 0){
			Main.fatalError("You are trying to draw a polygon which hasn't got an even number of parameters.\n");
		}
		for(int i = 0; i < positions.length; i++){
			double paramx = positions[i];
			double paramy = positions[++i];//increment
			print(paramx+" "+mirrorCoords(paramy)+" ");
		}
		print("newpath moveto ");
		for(int i = 1; i < positions.length/2; i++){
			print("lineto ");
		}
		print("closepath fill stroke\n");
	}