// Trim the attribute name and leading spaces
attrVal.delete(0,attrName.length());
if (attrVal.length() == 0){
// We have a missing token value
ResultException ex = new ResultException();
ex.addError("No value for attribute: " + attrName);
ex.setLocationInfo(fileName, in.getLineNumber());
throw(ex);
}
while(attrVal.charAt(0) == ' '){
attrVal.delete(0,1);