// the global form input id. All forms that occur before the global element id
// is recorded are taken care of by AWPage.addGlobalFormInputIdPath().
List globalPaths = requestContext().getGlobalFormInputIdPaths();
if (globalPaths != null) {
for (int i=0, size=globalPaths.size(); i < size; i++) {
formInputIds.addElement(globalPaths.get(i));
}
}
return formInputIds;
}