equal
deleted
inserted
replaced
89 }; |
89 }; |
90 } |
90 } |
91 } |
91 } |
92 |
92 |
93 private static class DefaultThreadPoolHolder { |
93 private static class DefaultThreadPoolHolder { |
94 final static ThreadPool defaultThreadPool = createDefault(); |
94 static final ThreadPool defaultThreadPool = createDefault(); |
95 } |
95 } |
96 |
96 |
97 // return the default (system-wide) thread pool |
97 // return the default (system-wide) thread pool |
98 static ThreadPool getDefault() { |
98 static ThreadPool getDefault() { |
99 return DefaultThreadPoolHolder.defaultThreadPool; |
99 return DefaultThreadPoolHolder.defaultThreadPool; |