src/Pure/Tools/phabricator.scala

       method: String, params: JSON.Object.T, unapply: JSON.T => Option[A]): List[A] =
     {
       val results = new mutable.ListBuffer[A]
       var after = ""
 
-      do {
+      var cont = true
+      while (cont) {
         val result =
           execute(method, params = params ++ JSON.optional("after" -> proper_string(after)))
         results ++= result.get_value(JSON.list(_, "data", unapply))
         after = result.get_value(JSON.value(_, "cursor", JSON.string0(_, "after")))
-      } while (after.nonEmpty)
+        cont = after.nonEmpty
+      }
 
       results.toList
     }
 
     def ping(): String = execute("conduit.ping").get_string