Add IntAttribute to gwt module definition