protected void logDiagnostic(String msg){
  if (isDiagnosticsEnabled()) {
    logRawDiagnostic(diagnosticPrefix + msg);
  }
}

protected void logDiagnostic ( String msg ) { if ( isDiagnosticsEnabled ( ) ) { logRawDiagnostic ( diagnosticPrefix + msg ) ; } }
output a diagnostic message to a user - specified destination ( if the user has enabled diagnostic logging ) .
