BaseX 6 GUI does not start properly

> java -version

On Sat, Jan 30, 2010 at 4:19 AM, Rares Vernica <rares at ics.uci.edu> wrote: > Hello, > > I used BaseX GUI before version 6 successfully. Version 6 GUI does not > start properly and throws a lot of exceptions. Here is the first one: > > Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException > at sun.java2d.SunGraphics2D.addRenderingHints(SunGraphics2D.java:1295) > at org.basex.gui.layout.BaseXBack.paintComponent(BaseXBack.java:62) > at org.basex.gui.view.ViewContainer.paintComponent(ViewContainer.java:114) > at javax.swing.JComponent.paint(JComponent.java:1029) > at org.basex.gui.view.ViewContainer.paint(ViewContainer.java:269) > at javax.swing.JComponent.paintToOffscreen(JComponent.java:5124) > at javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278) > at javax.swing.RepaintManager.paint(RepaintManager.java:1220) > at javax.swing.JComponent._paintImmediately(JComponent.java:5072) > at javax.swing.JComponent.paintImmediately(JComponent.java:4882) > at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:803) > at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:714) > at javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:694) > at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:128) > at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209) > at java.awt.EventQueue.dispatchEvent(EventQueue.java:597) > at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269) > at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184) > at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174) > at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169) > at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161) > at java.awt.EventDispatchThread.run(EventDispatchThread.java:122) > > The main window loads but it is empty. If I hover over the window with > my mouse, the buttons start appearing. Anyway, it is unusable. I do not > have this issue with 5.7. > > Here is the Java version that I use: > >> java -version > java version "1.6.0_16" > Java(TM) SE Runtime Environment (build 1.6.0_16-b01) > Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) > > The computer is a 32bit PC with the latest Ubuntu OS. > > Thank you for BaseX. Keep up the good work! > > Cheers, > Rares Vernica > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >

On Wed, Feb 3, 2010 at 3:29 AM, Rares Vernica <rares at ics.uci.edu> wrote: > Dear Christian, > > Thanks for helping me with this. > > Christian Grün <christian.gruen at gmail.com> writes: > >> thanks for your info. I successfully launched BaseX 6.0 with Ubuntu >> 9.10 (it works with version 8.10 as well), so unfortunately I have no >> direct answer what could be the issue on your machine. Are you also >> working Sun's java distribution? I installed Java's JRE version via >> aptitude (sun-java6-jre)... > > I am using Ubuntu 9.10 with the Sun's distribution of java. > >> $ java -version >> java version "1.6.0_15" >> Java(TM) SE Runtime Environment (build 1.6.0_15-b03) >> Java HotSpot(TM) Server VM (build 14.1-b02, mixed mode) >> user@computer:~$ > > The current Sun java version for 9.10 is 1.6.0_16 (ends with "_16"). > > $ java -version > java version "1.6.0_16" > Java(TM) SE Runtime Environment (build 1.6.0_16-b01) > Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) > > $ apt-cache show sun-java6-jre > Package: sun-java6-jre > ... > Version: 6-16-0ubuntu1.9.04 > > $ apt-cache show sun-java6-jdk > Package: sun-java6-jdk > ... > Version: 6-16-0ubuntu1.9.04 > > I downgraded my java version to "_15": > > $ java -version > java version "1.6.0_15" > Java(TM) SE Runtime Environment (build 1.6.0_15-b03) > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) > > but I still get exactly the same error. > > I see that your java installation has "sharing" disabled: > > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) > ^^^^^^^ > so I also disabled sharing on mine: > > $ java -Xshare:off -version > java version "1.6.0_15" > Java(TM) SE Runtime Environment (build 1.6.0_15-b03) > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode) > > but when I run: > > $ java -Xshare:off -jar BaseX6.jar > > I get exactly the same behavior as before. > >> >> Feel free to give us more information on your installation. >> Christian >> ___________________________ >> >> Christian Gruen >> Universitaet Konstanz >> Department of Computer & Information Science >> D-78457 Konstanz, Germany >> Tel: +49 (0)7531/88-4449, Fax: +49 (0)7531/88-3577 >> http://www.inf.uni-konstanz.de/~gruen >> >> >> >> On Sat, Jan 30, 2010 at 4:19 AM, Rares Vernica <rares at ics.uci.edu> wrote: >>> Hello, >>> >>> I used BaseX GUI before version 6 successfully. Version 6 GUI does not >>> start properly and throws a lot of exceptions. Here is the first one: >>> >>> Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException >>> at sun.java2d.SunGraphics2D.addRenderingHints(SunGraphics2D.java:1295) >>> at org.basex.gui.layout.BaseXBack.paintComponent(BaseXBack.java:62) >>> at org.basex.gui.view.ViewContainer.paintComponent(ViewContainer.java:114) >>> at javax.swing.JComponent.paint(JComponent.java:1029) >>> at org.basex.gui.view.ViewContainer.paint(ViewContainer.java:269) >>> at javax.swing.JComponent.paintToOffscreen(JComponent.java:5124) >>> at javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278) >>> at javax.swing.RepaintManager.paint(RepaintManager.java:1220) >>> at javax.swing.JComponent._paintImmediately(JComponent.java:5072) >>> at javax.swing.JComponent.paintImmediately(JComponent.java:4882) >>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:803) >>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:714) >>> at javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:694) >>> at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:128) >>> at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209) >>> at java.awt.EventQueue.dispatchEvent(EventQueue.java:597) >>> at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269) >>> at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184) >>> at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174) >>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169) >>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161) >>> at java.awt.EventDispatchThread.run(EventDispatchThread.java:122) >>> >>> The main window loads but it is empty. If I hover over the window with >>> my mouse, the buttons start appearing. Anyway, it is unusable. I do not >>> have this issue with 5.7. >>> >>> Here is the Java version that I use: >>> >>> $ java -version >>> java version "1.6.0_16" >>> Java(TM) SE Runtime Environment (build 1.6.0_16-b01) >>> Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) >>> >>> The computer is a 32bit PC with the latest Ubuntu OS. >>> >>> Thank you for BaseX. Keep up the good work! >>> >>> Cheers, >>> Rares Vernica >>> _______________________________________________ >>> BaseX-Talk mailing list >>> BaseX-Talk at mailman.uni-konstanz.de >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>> >

Christian Grün <christian.gruen at gmail.com> writes: > thanks for your info. I successfully launched BaseX 6.0 with Ubuntu > 9.10 (it works with version 8.10 as well), so unfortunately I have no > direct answer what could be the issue on your machine. Are you also > working Sun's java distribution? I installed Java's JRE version via > aptitude (sun-java6-jre)...

> $ java -version > java version "1.6.0_15" > Java(TM) SE Runtime Environment (build 1.6.0_15-b03) > Java HotSpot(TM) Server VM (build 14.1-b02, mixed mode) > user@computer:~$

> > Feel free to give us more information on your installation. > Christian > ___________________________ > > Christian Gruen > Universitaet Konstanz > Department of Computer & Information Science > D-78457 Konstanz, Germany > Tel: +49 (0)7531/88-4449, Fax: +49 (0)7531/88-3577 > http://www.inf.uni-konstanz.de/~gruen > > > > On Sat, Jan 30, 2010 at 4:19 AM, Rares Vernica <rares at ics.uci.edu> wrote: >> Hello, >> >> I used BaseX GUI before version 6 successfully. Version 6 GUI does not >> start properly and throws a lot of exceptions. Here is the first one: >> >> Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException >> at sun.java2d.SunGraphics2D.addRenderingHints(SunGraphics2D.java:1295) >> at org.basex.gui.layout.BaseXBack.paintComponent(BaseXBack.java:62) >> at org.basex.gui.view.ViewContainer.paintComponent(ViewContainer.java:114) >> at javax.swing.JComponent.paint(JComponent.java:1029) >> at org.basex.gui.view.ViewContainer.paint(ViewContainer.java:269) >> at javax.swing.JComponent.paintToOffscreen(JComponent.java:5124) >> at javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278) >> at javax.swing.RepaintManager.paint(RepaintManager.java:1220) >> at javax.swing.JComponent._paintImmediately(JComponent.java:5072) >> at javax.swing.JComponent.paintImmediately(JComponent.java:4882) >> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:803) >> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:714) >> at javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:694) >> at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:128) >> at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209) >> at java.awt.EventQueue.dispatchEvent(EventQueue.java:597) >> at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269) >> at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184) >> at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174) >> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169) >> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161) >> at java.awt.EventDispatchThread.run(EventDispatchThread.java:122) >> >> The main window loads but it is empty. If I hover over the window with >> my mouse, the buttons start appearing. Anyway, it is unusable. I do not >> have this issue with 5.7. >> >> Here is the Java version that I use: >> >> $ java -version >> java version "1.6.0_16" >> Java(TM) SE Runtime Environment (build 1.6.0_16-b01) >> Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) >> >> The computer is a 32bit PC with the latest Ubuntu OS. >> >> Thank you for BaseX. Keep up the good work! >> >> Cheers, >> Rares Vernica >> _______________________________________________ >> BaseX-Talk mailing list >> BaseX-Talk at mailman.uni-konstanz.de >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>

Rares Vernica <rares at ics.uci.edu> writes: > Dear Christian, > > Thanks for helping me with this. > > Christian Grün <christian.gruen at gmail.com> writes: > >> thanks for your info. I successfully launched BaseX 6.0 with Ubuntu >> 9.10 (it works with version 8.10 as well), so unfortunately I have no >> direct answer what could be the issue on your machine. Are you also >> working Sun's java distribution? I installed Java's JRE version via >> aptitude (sun-java6-jre)... > > I am using Ubuntu 9.10 with the Sun's distribution of java. > >> $ java -version >> java version "1.6.0_15" >> Java(TM) SE Runtime Environment (build 1.6.0_15-b03) >> Java HotSpot(TM) Server VM (build 14.1-b02, mixed mode) >> user@computer:~$ > > The current Sun java version for 9.10 is 1.6.0_16 (ends with "_16").

> $ java -version > java version "1.6.0_16" > Java(TM) SE Runtime Environment (build 1.6.0_16-b01) > Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) > > $ apt-cache show sun-java6-jre > Package: sun-java6-jre > ... > Version: 6-16-0ubuntu1.9.04 > > $ apt-cache show sun-java6-jdk > Package: sun-java6-jdk > ... > Version: 6-16-0ubuntu1.9.04 > > I downgraded my java version to "_15": > > $ java -version > java version "1.6.0_15" > Java(TM) SE Runtime Environment (build 1.6.0_15-b03) > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) > > but I still get exactly the same error. > > I see that your java installation has "sharing" disabled: > > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) > ^^^^^^^ > so I also disabled sharing on mine: > > $ java -Xshare:off -version > java version "1.6.0_15" > Java(TM) SE Runtime Environment (build 1.6.0_15-b03) > Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode) > > but when I run: > > $ java -Xshare:off -jar BaseX6.jar > > I get exactly the same behavior as before. > >> >> Feel free to give us more information on your installation. >> Christian >> ___________________________ >> >> Christian Gruen >> Universitaet Konstanz >> Department of Computer & Information Science >> D-78457 Konstanz, Germany >> Tel: +49 (0)7531/88-4449, Fax: +49 (0)7531/88-3577 >> http://www.inf.uni-konstanz.de/~gruen >> >> >> >> On Sat, Jan 30, 2010 at 4:19 AM, Rares Vernica <rares at ics.uci.edu> wrote: >>> Hello, >>> >>> I used BaseX GUI before version 6 successfully. Version 6 GUI does not >>> start properly and throws a lot of exceptions. Here is the first one: >>> >>> Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException >>> at sun.java2d.SunGraphics2D.addRenderingHints(SunGraphics2D.java:1295) >>> at org.basex.gui.layout.BaseXBack.paintComponent(BaseXBack.java:62) >>> at org.basex.gui.view.ViewContainer.paintComponent(ViewContainer.java:114) >>> at javax.swing.JComponent.paint(JComponent.java:1029) >>> at org.basex.gui.view.ViewContainer.paint(ViewContainer.java:269) >>> at javax.swing.JComponent.paintToOffscreen(JComponent.java:5124) >>> at javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278) >>> at javax.swing.RepaintManager.paint(RepaintManager.java:1220) >>> at javax.swing.JComponent._paintImmediately(JComponent.java:5072) >>> at javax.swing.JComponent.paintImmediately(JComponent.java:4882) >>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:803) >>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:714) >>> at javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:694) >>> at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:128) >>> at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209) >>> at java.awt.EventQueue.dispatchEvent(EventQueue.java:597) >>> at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269) >>> at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184) >>> at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174) >>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169) >>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161) >>> at java.awt.EventDispatchThread.run(EventDispatchThread.java:122) >>> >>> The main window loads but it is empty. If I hover over the window with >>> my mouse, the buttons start appearing. Anyway, it is unusable. I do not >>> have this issue with 5.7. >>> >>> Here is the Java version that I use: >>> >>> $ java -version >>> java version "1.6.0_16" >>> Java(TM) SE Runtime Environment (build 1.6.0_16-b01) >>> Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) >>> >>> The computer is a 32bit PC with the latest Ubuntu OS. >>> >>> Thank you for BaseX. Keep up the good work! >>> >>> Cheers, >>> Rares Vernica >>> _______________________________________________ >>> BaseX-Talk mailing list >>> BaseX-Talk at mailman.uni-konstanz.de >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>>

Christian Grün <christian.gruen at gmail.com> writes: > Dear Rares, > > thanks for your info. Unfortunately, I'm still not sure what causes > the problems on your Ubuntu distribution. If you can access and > compile the source code of BaseX – http://basex.org/community – it > would be great if you could comment out line 63 from the BaseXBack > class, which reads as.. > > // ((Graphics2D) g).addRenderingHints(HINTS);

> This method call was introduced with Java 1.6 to support platform > independent font rendering – but in your case, it might be the reason > for some unexpected behavior. > > All the best, > Christian > > > > On Wed, Feb 3, 2010 at 3:29 AM, Rares Vernica <rares at ics.uci.edu> wrote: >> Dear Christian, >> >> Thanks for helping me with this. >> >> Christian Grün <christian.gruen at gmail.com> writes: >> >>> thanks for your info. I successfully launched BaseX 6.0 with Ubuntu >>> 9.10 (it works with version 8.10 as well), so unfortunately I have no >>> direct answer what could be the issue on your machine. Are you also >>> working Sun's java distribution? I installed Java's JRE version via >>> aptitude (sun-java6-jre)... >> >> I am using Ubuntu 9.10 with the Sun's distribution of java. >> >>> $ java -version >>> java version "1.6.0_15" >>> Java(TM) SE Runtime Environment (build 1.6.0_15-b03) >>> Java HotSpot(TM) Server VM (build 14.1-b02, mixed mode) >>> user@computer:~$ >> >> The current Sun java version for 9.10 is 1.6.0_16 (ends with "_16"). >> >> $ java -version >> java version "1.6.0_16" >> Java(TM) SE Runtime Environment (build 1.6.0_16-b01) >> Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) >> >> $ apt-cache show sun-java6-jre >> Package: sun-java6-jre >> ... >> Version: 6-16-0ubuntu1.9.04 >> >> $ apt-cache show sun-java6-jdk >> Package: sun-java6-jdk >> ... >> Version: 6-16-0ubuntu1.9.04 >> >> I downgraded my java version to "_15": >> >> $ java -version >> java version "1.6.0_15" >> Java(TM) SE Runtime Environment (build 1.6.0_15-b03) >> Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) >> >> but I still get exactly the same error. >> >> I see that your java installation has "sharing" disabled: >> >> Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode, sharing) >> ^^^^^^^ >> so I also disabled sharing on mine: >> >> $ java -Xshare:off -version >> java version "1.6.0_15" >> Java(TM) SE Runtime Environment (build 1.6.0_15-b03) >> Java HotSpot(TM) Client VM (build 14.1-b02, mixed mode) >> >> but when I run: >> >> $ java -Xshare:off -jar BaseX6.jar >> >> I get exactly the same behavior as before. >> >>> >>> Feel free to give us more information on your installation. >>> Christian >>> ___________________________ >>> >>> Christian Gruen >>> Universitaet Konstanz >>> Department of Computer & Information Science >>> D-78457 Konstanz, Germany >>> Tel: +49 (0)7531/88-4449, Fax: +49 (0)7531/88-3577 >>> http://www.inf.uni-konstanz.de/~gruen >>> >>> >>> >>> On Sat, Jan 30, 2010 at 4:19 AM, Rares Vernica <rares at ics.uci.edu> wrote: >>>> Hello, >>>> >>>> I used BaseX GUI before version 6 successfully. Version 6 GUI does not >>>> start properly and throws a lot of exceptions. Here is the first one: >>>> >>>> Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException >>>> at sun.java2d.SunGraphics2D.addRenderingHints(SunGraphics2D.java:1295) >>>> at org.basex.gui.layout.BaseXBack.paintComponent(BaseXBack.java:62) >>>> at org.basex.gui.view.ViewContainer.paintComponent(ViewContainer.java:114) >>>> at javax.swing.JComponent.paint(JComponent.java:1029) >>>> at org.basex.gui.view.ViewContainer.paint(ViewContainer.java:269) >>>> at javax.swing.JComponent.paintToOffscreen(JComponent.java:5124) >>>> at javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278) >>>> at javax.swing.RepaintManager.paint(RepaintManager.java:1220) >>>> at javax.swing.JComponent._paintImmediately(JComponent.java:5072) >>>> at javax.swing.JComponent.paintImmediately(JComponent.java:4882) >>>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:803) >>>> at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:714) >>>> at javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:694) >>>> at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:128) >>>> at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209) >>>> at java.awt.EventQueue.dispatchEvent(EventQueue.java:597) >>>> at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269) >>>> at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184) >>>> at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174) >>>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169) >>>> at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161) >>>> at java.awt.EventDispatchThread.run(EventDispatchThread.java:122) >>>> >>>> The main window loads but it is empty. If I hover over the window with >>>> my mouse, the buttons start appearing. Anyway, it is unusable. I do not >>>> have this issue with 5.7. >>>> >>>> Here is the Java version that I use: >>>> >>>> $ java -version >>>> java version "1.6.0_16" >>>> Java(TM) SE Runtime Environment (build 1.6.0_16-b01) >>>> Java HotSpot(TM) Client VM (build 14.2-b01, mixed mode, sharing) >>>> >>>> The computer is a 32bit PC with the latest Ubuntu OS. >>>> >>>> Thank you for BaseX. Keep up the good work! >>>> >>>> Cheers, >>>> Rares Vernica >>>> _______________________________________________ >>>> BaseX-Talk mailing list >>>> BaseX-Talk at mailman.uni-konstanz.de >>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>>> >>