public Polypoint revert_corners(){
  int corner_count=point_alist.size();
  int from_idx=corner_count - 1;
  ArrayList<PlaPointInt> reverse_corner_arr=new ArrayList<PlaPointInt>(corner_count);
  for (int index=0; index < corner_count; ++index)   reverse_corner_arr.add(point_alist.get(from_idx--));
  return new Polypoint(reverse_corner_arr);
}

public Polypoint revert_corners ( ) { int corner_count = point_alist . size ( ) ; int from_idx = corner_count - 1 ; ArrayList < PlaPointInt > reverse_corner_arr = new ArrayList < PlaPointInt > ( corner_count ) ; for ( int index = 0 ; index < corner_count ; ++ index ) reverse_corner_arr . add ( point_alist . get ( from_idx -- ) ) ; return new Polypoint ( reverse_corner_arr ) ; }
reverts the order of the corners of this polygon .
