public static String diagPrefix(String aspectName){
  return String.format("%s: ",aspectName);
}

public static String diagPrefix ( String aspectName ) { return String . format ( "%s: " , aspectName ) ; }
returns a prefix to be used in diag messages for general errors and warnings .
