| changeset 51493 | 6b5f3f5fd63c |
| parent 51424 | 083e731da31a |
| child 51539 | 2af74a1edb11 |
| 51492:fc80fa0ecac8 | 51493:6b5f3f5fd63c |
|---|---|
61 } |
61 } |
62 |
62 |
63 protected abstract void runCases(); |
63 protected abstract void runCases(); |
64 |
64 |
65 protected void shutdown() { |
65 protected void shutdown() { |
66 jdb.shutdown(); |
66 if (jdb != null) { |
67 jdb.shutdown(); |
|
68 } |
|
67 } |
69 } |
68 |
70 |
69 protected static final String lineSeparator = System.getProperty("line.separator"); |
71 protected static final String lineSeparator = System.getProperty("line.separator"); |
70 |
72 |
71 |
73 |