fixes issue #2 in 3.0.0 release: cf https://wiki.duraspace.org/display/DSPINT/Release+3.0.0+Tasks
Resolves issue #3 in https://wiki.duraspace.org/display/DSPINT/Release+3.0.0+Tasks: synctoolui fails to launch properly.
Merge branch 'release-3.0.0-issue-3-synctoolui-not-coming-up' into develop