//-----------------------------------------------------------------------//
//                                                                       //
//                          P i x e l P o i n t                          //
//                                                                       //
//  Copyright (C) Herve Bitteur 2000-2006. All rights reserved.          //
//  This software is released under the terms of the GNU General Public  //
//  License. Please contact the author at herve.bitteur@laposte.net      //
//  to report bugs & suggestions.                                        //
//-----------------------------------------------------------------------//

package omr.sheet;

import java.awt.*;

/**
 * Class <code>PixelPoint</code> is a simple Point that is meant to
 * represent a point in a deskewed page, with its coordinates specified in
 * pixels, so the name.
 *
 * <p> This specialization is used to take benefit of compiler checks, to
 * prevent the use of points with incorrect meaning or units. </p>
 *
 * @author Herv&eacute; Bitteur
 * @version $Id$
 */
public class PixelPoint
        extends Point
{
    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint ()
    {
    }

    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint (Point point)
    {
        super(point);
    }
}

@@ -1328,19 +1328,43 @@
 nt (
-Po
 int 
-po
+x,%0A                       
 int
+ y
 )%0A  
@@ -1381,21 +1381,20 @@
   super(
-point
+x, y
 );%0A    %7D

Use of a more specific constructor, to avoid too easy conversions