System.out.println("   hasLedger=" + hasLedger());
System.out.println("   hasLedger=" + isWithLedger());
    public void dump ()    {        System.out.println(this.getClass().getName());        System.out.println("   id=" + getId());        System.out.println("   original=" + original);        System.out.println("   lag=" + getLag());        System.out.println("   members=" + getMembers());        System.out.println("   contourBox=" + getContourBox());        System.out.println("   weight=" + getWeight());        System.out.println("   result=" + getResult());        System.out.println("   signature=" + getSignature());        System.out.println("   shape=" + getShape());        System.out.println("   interline=" + getInterline());        System.out.println("   stemNumber=" + getStemNumber());        System.out.println("   pitchPosition=" + getPitchPosition());        System.out.println("   hasLedger=" + hasLedger());        System.out.println("   moments=" + getMoments());        System.out.println("   centroid=" + getCentroid());        System.out.println("   bounds=" + getBounds());        System.out.println("   forbiddenShapes=" + getForbiddenShapes());    }