Add tests relating to overloaded symbols

* Test whether retrieval returns all overloads
* Test whether tools operating on well-defined symbols raise an error if the symbol is non-unique

test/resources/repos/java/test_repo/src/main/java/test_repo/Model.java

@@ -10,4 +10,12 @@ public class Model {
     public String getName() {
         return name;
     }
+
+    public String getName(int maxChars) {
+        if (name.length() <= maxChars) {
+            return name;
+        } else {
+            return name.substring(0, maxChars) + "...";
+        }
+    }
 }