Updated BlueJ to v3.1.4