EclipseReporter::paintHeader PHP Method