public int getSourceLine(int idx) {return sourceLines[idx] - 1;}

public int getSourceLine ( int idx ) { return sourceLines [ idx ] - 1 ; }
public virtual int GetSourceLine(int idx){return sourceLines[idx] - 1;}
