Add <!DOCTYPE for Eclipse internal Internet Explorer to work correctly