Some BlueJ config file update