fixed a bug for the bitset operation in instance.java