DiagnosticPropertiesBuilder constructor

DiagnosticPropertiesBuilder()