Constructs an instance.
super(ATTRIBUTE_NAME);
try {
if (lineNumbers.isMutable()) {
throw new MutabilityException("lineNumbers.isMutable()");
}
} catch (NullPointerException ex) {
// Translate the exception.
throw new NullPointerException("lineNumbers == null");
}
this.lineNumbers = lineNumbers;