String magStr = magMatcher.group(1);
Magnitude mag = magValidator.validate(magStr);
// For magnitudes without a decimal point, divide by 10.
if (!magStr.contains(".")) {
MagnitudeModifier modifier = null;
// Note: This shows that we need to be able to set all fields of
// a Magnitude object for convenience and to reduce the number
// of objects created.
if (mag.isFainterThan()) {