Changed SymbolBitSet to be compliant with Java 8