# HG changeset patch
# User wenzelm
# Date 1553546797 -3600
# Node ID 4ce5ce3a612bf3d5ec6ef6c82d189346fcd7eef7
# Parent  f150253cb201933862e42589ede8acc3e9e5aab2
more robust: avoid NPE due to odd problems with object initialization;

diff -r f150253cb201 -r 4ce5ce3a612b src/Pure/General/rdf.scala
--- a/src/Pure/General/rdf.scala	Mon Mar 25 19:50:52 2019 +0100
+++ b/src/Pure/General/rdf.scala	Mon Mar 25 21:46:37 2019 +0100
@@ -81,15 +81,15 @@
 
   object Property  // binary relation with plain value
   {
-    val title: String = dcterms("title")
-    val creator: String = dcterms("creator")
-    val contributor: String = dcterms("contributor")
-    val date: String = dcterms("date")
-    val license: String = dcterms("license")
-    val description: String = dcterms("description")
+    def title: String = dcterms("title")
+    def creator: String = dcterms("creator")
+    def contributor: String = dcterms("contributor")
+    def date: String = dcterms("date")
+    def license: String = dcterms("license")
+    def description: String = dcterms("description")
   }
 
-  private val meta_data_table =
+  private lazy val meta_data_table =
     Map(
       Markup.META_TITLE -> Property.title,
       Markup.META_CREATOR -> Property.creator,