build: Add doctype to keep eclipse happy