CORE-4967: added .nrepl-port to .gitignore
CORE-4807: the isDefault flag no longer appears in the argument lists for properties being saved by the UI
Merge branch 'dev'