Fixing incorrect Java -D parameter suggestion for Kerberos

The semicolon between -D parameters breaks things.