Switch from Hashtable to HashMap

Per Mark Waite's suggestion, switching from Hashtable to HashMap so that
we don't incur the synchronization costs inherent in Hashtable, since we
don't need it.