trying to make bitset manipulations java6-compliant; adding openjdk6 back to travis