sync
Merge branch 'dev' of https://github.com/genomizer/genomizer-desktop.git into dev
jh