@@ -56,11 +56,11 @@ import java.rmi.*; import java.rmi.registry.*; import java.rmi.server.*; public class DeadCachedConnection { - static public final int regport = 17340; + static public final int regport = TestLibrary.getUnusedRandomPort(); static public void main(String[] argv) throws Exception { // establish the registry (we hope) System.err.println ("Starting registry on port " + regport);