--- a/src/org/tmatesoft/hg/core/HgException.java	Thu Sep 29 04:37:52 2011 +0200
+++ b/src/org/tmatesoft/hg/core/HgException.java	Fri Sep 30 06:22:11 2011 +0200
@@ -84,10 +84,13 @@
 	
 	protected void appendDetails(StringBuilder sb) {
 		if (filename != null) {
+			sb.append("file:'");
 			sb.append(filename);
-			sb.append(':');
+			sb.append('\'');
+			sb.append(';');
 			sb.append(' ');
 		}
+		sb.append("rev:");
 		if (revNumber != BAD_REVISION) {
 			sb.append(revNumber);
 			if (revision != null) {
@@ -99,6 +102,15 @@
 		}
 	}
 
+	@Override
+	public String toString() {
+		StringBuilder sb = new StringBuilder(super.toString());
+		sb.append(' ');
+		sb.append('(');
+		appendDetails(sb);
+		sb.append(')');
+		return sb.toString();
+	}
 //	/* XXX CONSIDER capability to pass extra information about errors */
 //	public static class Status {
 //		public Status(String message, Throwable cause, int errorCode, Object extraData) {