Merge branch 'gpg-profile' of git://github.com/huxi/jcommander into huxi