-/**------------------------------------------------------------------*/
-/* We represent the fields in entities/types by hashmaps. */
-/**------------------------------------------------------------------*/
+/*------------------------------------------------------------------*/
+/* We represent the fields in entities/types by hashmaps. */
+/*------------------------------------------------------------------*/