# HG changeset patch
# User Michael Van De Vanter  <michael.van.de.vanter@oracle.com>
# Date 1449515836 28800
# Node ID f9f97ca1d66d59b3351fe02ca8b47b3af2228002
# Parent  64d5619ebbce023ee7dbf4f3ce1e9373738979ce
backout 64d5619ebbce

diff -r 64d5619ebbce -r f9f97ca1d66d truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java
--- a/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java	Sun Dec 06 20:12:43 2015 -0800
+++ b/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java	Mon Dec 07 11:17:16 2015 -0800
@@ -37,12 +37,6 @@
  * @see #createUnavailable
  */
 public final class SourceSection {
-
-    /**
-     * The identifier stored when source information is unavailable.
-     */
-    public static String UNKNOWN = "<unknown>";
-
     private final Source source;
     private final String identifier;
     private final int startLine;
@@ -268,6 +262,6 @@
      * @return source section which is mostly <em>empty</em>
      */
     public static SourceSection createUnavailable(String kind, String name) {
-        return new SourceSection(kind, null, name == null ? UNKNOWN : name, -1, -1, -1, -1);
+        return new SourceSection(kind, null, name == null ? "<unknown>" : name, -1, -1, -1, -1);
     }
 }