Update applied to PositiveIntegerField.java