public Polygon translate(Coordinate t) {
	Coordinate[] res = new Coordinate[this.corners.length];
	for(int i=0; i<this.corners.length; i++)
	    res[i] = this.corners[i].add(t);
	return new Polygon(res);
    }