Added missing tag for BlueJ 4.2.2 release, picking what I think is the right commit.