<2010-06-04> (LatexFormatter) Correction javadoc
Authored by: vincentb1 2010-06-12
Parent: [r797]
Child: [r799]