DecimalFormat problem

[Gerhard Paulus]

DecimalFormat is broken :  no formatting at all and decimals cut off.


DecimalFormat decimal = new DecimalFormat("#,###,##0.00", 
		 new DecimalFormatSymbols(Locale.US)) ;

float f = (float) 50000.11 ;
System.out.println("temp.decimal.format(f):  "+decimal.format(f)) ;

// Kaffe will produce "50000"