public final int[] getCharIntervals() {return points.clone();}

public final int [ ] getCharIntervals ( ) { return points . clone ( ) ; }
public int[] GetCharIntervals(){return (int[])(Array)_points.Clone();}
