equal
deleted
inserted
replaced
69 |
69 |
70 private void run() { |
70 private void run() { |
71 Random random = new Random(42); // ensure consistent test domain |
71 Random random = new Random(42); // ensure consistent test domain |
72 |
72 |
73 Test proxy = (Test) Proxy.newProxyInstance( |
73 Test proxy = (Test) Proxy.newProxyInstance( |
74 ClassLoader.getSystemClassLoader(), |
74 Test.class.getClassLoader(), |
75 new Class[] { Test.class }, |
75 new Class<?>[] { Test.class }, |
76 new TestHandler()); |
76 new TestHandler()); |
77 |
77 |
78 for (int rep = 0; rep < REPS; rep++) { |
78 for (int rep = 0; rep < REPS; rep++) { |
79 b = (byte) random.nextInt(); |
79 b = (byte) random.nextInt(); |
80 c = (char) random.nextInt(); |
80 c = (char) random.nextInt(); |