code: public String toProblemString()
  	{
  		StringBuilder sb = new StringBuilder();
  		sb.append(message);
  
  		sb.append(".");
  		for (String d : details)
  		{
  			sb.append(" ");
  			sb.append(d);
  		}
  
  		return sb.toString();
  	}
docs: view, with details but without the file location and number.