Java Web Start User Agent
Minor change