Hi,
Here a screenshot about comparaison between 3.1.16 and the new 3.2 series.
I use :
26 Sep 2011 17:09:10.515 0 – Starting
26 Sep 2011 17:09:10.515 0 – OS Windows XP
26 Sep 2011 17:09:10.515 0 – Java version 1.6.0_24
The font size is smaller using the 3.2 on the same computer.
Regards,
Grégory