*** empty log message ***

src/GF/Shell/Commands.hs

@@ -431,7 +431,7 @@ displaySStateJavaX env state = unlines $ tagXML "gfedit" $ concat [
   zipper = stateSState state
   linAll = map lin lgrs
   gr     = firstStateGrammar env
-  mark   = markOptJava  --to be: markOptXML 
+  mark   = markOptXML -- markOptJava   
 
 langAbstract = language "Abstract"
 langXML      = language "XML"

src/JavaGUI/MarkedArea.java

@@ -0,0 +1,15 @@
+//package javaGUI;                                 
+  public class MarkedArea 
+  {
+    public int begin;
+    public int end;
+    public String position;
+
+    MarkedArea(int b, int e, String p)
+    {
+      begin = b;
+      end = e;
+      position = p;
+    }
+  }
+