src/Pure/System/distribution.scala

 
 object Distribution
 {
   val version = "repository version"
   val is_identified = false
-  val is_official = false
 }