eclipse format setings file generated by workspacemechanic