equal
deleted
inserted
replaced
117 }; |
117 }; |
118 |
118 |
119 /** |
119 /** |
120 * This ID is used to generate thread names. |
120 * This ID is used to generate thread names. |
121 */ |
121 */ |
122 private final static AtomicInteger nextSerialNumber = new AtomicInteger(0); |
122 private static final AtomicInteger nextSerialNumber = new AtomicInteger(0); |
123 private static int serialNumber() { |
123 private static int serialNumber() { |
124 return nextSerialNumber.getAndIncrement(); |
124 return nextSerialNumber.getAndIncrement(); |
125 } |
125 } |
126 |
126 |
127 /** |
127 /** |