gf-core/src-3.0/JavaGUI/MarkedArea.java

//package javaGUI;                                 
  public class MarkedArea 
  {
    public int begin;
    public int end;
    public LinPosition position;
    public String words;

    MarkedArea(int b, int e, LinPosition p, String w)
    {
      begin = b;
      end = e;
      position = p;
      words = w;
    }
    
  }