tree 6ddfc84551279f519110494eaeb4444b312630d1
parent adf1025ff900de17d46bb8013bb98fa54947aade
author Andreas Wundsam <andreas.wundsam@bigswitch.com> 1404189100 -0700
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> 1404189238 -0700

java/HashValue: add+subtract, remove combineWithValue

Added arithmetic add and subtract operations to HashValue types. Also
removed the obsolete combineWithValue operation that had weird/broken
semantics.