public static void addEnder(List<LabeledToken> parsedContents) {
		int offset=0, length=0;
		if (parsedContents==null) {
		  parsedContents=new ArrayList<LabeledToken>();
		}
		if (parsedContents.size()>0) {
		  LabeledToken lastToken=parsedContents.get(parsedContents.size()-1);
		  offset=lastToken.getOffset();
		  length=lastToken.getMain().length();
		}
		LabeledToken enderToken=
		  new LabeledToken(ENDER,(offset+length),ENDER,'O');
		parsedContents.add(enderToken);
	  }