diff --git a/src/fr/inrialpes/exmo/align/service/AServProtocolManager.java b/src/fr/inrialpes/exmo/align/service/AServProtocolManager.java index 0a03b1266b0594e2d2ce56a2bdf9ecabca767b80..f525867415aa439bc56591c3d2ba5711b9cbbd0b 100644 --- a/src/fr/inrialpes/exmo/align/service/AServProtocolManager.java +++ b/src/fr/inrialpes/exmo/align/service/AServProtocolManager.java @@ -722,7 +722,7 @@ public class AServProtocolManager { * Utilities: Finding the implementation of an interface *********************************************************************/ - public static void implementations( Class tosubclass, Set<String> list , boolean debug ){ + public static void implementations( Class tosubclass, Set<String> list, boolean debug ){ Set<String> visited = new HashSet<String>(); String classPath = System.getProperty("java.class.path","."); // Hack: this is not necessary