Can now move back and forward along history; arbiter only creates thread pool once now.
Used check style to make style more consistent
Used check style to make style changes.