Handle /// comments (#976)

JabRef follows a different style than the usual //

Author: tsantalis

src/main/java/gr/uom/java/xmi/UMLComment.java

@@ -51,7 +51,10 @@ public void addPreviousLocation(LocationInfo info) {
 	public String getText() {
 		if(locationInfo.getCodeElementType().equals(CodeElementType.LINE_COMMENT)) {
 			String text = new String(this.text);
-			if(text.startsWith("//")) {
+			if(text.startsWith("///")) {
+				text = text.substring(3);
+			}
+			else if(text.startsWith("//")) {
 				text = text.substring(2);
 			}
 			text = text.trim();
@@ -69,6 +72,9 @@ public String getText() {
 				if(line.endsWith("*/")) {
 					line = line.substring(0, line.length()-2);
 				}
+				if(line.startsWith("///")) {
+					line = line.substring(3);
+				}
 				if(line.startsWith("//")) {
 					line = line.substring(2);
 				}