Fixed 'Unknown attribute indent-number', c.f. JDK-6486887