}
}
public void loadUserViewSpecifications() {
final Options options = Properties.getOptions("views.user-defined");
final Iterator<String> names = options.names();
while (names.hasNext()) {
final String name = names.next();
final Options viewOptions = options.getOptions(name);
final String specName = viewOptions.getString("design");
addSpecification(specName);