<2010-06-04> (TikzFormatter) Correction javadoc
Authored by: vincentb1 2010-06-12
Parent: [r794]
Child: [r796]