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