equal
deleted
inserted
replaced
87 throw (ThreadDeath)t; |
87 throw (ThreadDeath)t; |
88 } |
88 } |
89 if (t instanceof SecurityException) { |
89 if (t instanceof SecurityException) { |
90 return result; |
90 return result; |
91 } |
91 } |
92 throw new InternalError(); // shouldn't happen |
92 throw new InternalError(t); // shouldn't happen |
93 } |
93 } |
94 |
94 |
95 for (Object vmid: vms) { |
95 for (Object vmid: vms) { |
96 if (vmid instanceof Integer) { |
96 if (vmid instanceof Integer) { |
97 String pid = vmid.toString(); |
97 String pid = vmid.toString(); |