DecimalFormat

placeholder for java.text.DecimalFormat which is used in org.gnit.lucenekmp.util.RamUsageEstimator org.gnit.lucenekmp.util.RamUsageEstimator does not use this but it is kept here for porting progress script to mark the class ported