public List<String> realElements(Vector elements) { return elements.subList(Token.MIN_USER_TOKEN_TYPE, elements.size()); }