src/Pure/General/position.scala

 
 
 object Position {
 
   private def get_string(name: String, props: Properties) = {
-    val value = props.getProperty(name)
+    val value = if (props != null) props.getProperty(name) else null
     if (value != null) Some(value) else None
   }
 
   private def get_int(name: String, props: Properties) = {
     get_string(name, props) match {