Escape URL in Eclipse docs.