private void checkInt(String id, String val, int index) {
            try {
                checkInt(Integer.parseInt(val), id, index);
            } catch (NumberFormatException e) {
                ConfigDefinition.defFail(id, val, "int", e);
            }
        }
String based ("untyped") type specification used by parser and arrays. May have the name of the field which it describes.
The index number is used to export data in correct order.
@author vegardh
config/src/main/java/com/yahoo/vespa/config/ConfigDefinition.java