Merged r6431 from trunk.
PDF: remove unused times*.rb.
Authored by: tmaruyama 2011-08-12
Parent: [r6436]
Child: [r6438]