Merge "WebStart: Remove use of realpath() for $IP"