I'm using the most recent BaseX GUI; I'm trying to change the value of an attribute in an XML document. This results in the following exception:

java.lang.ArrayIndexOutOfBoundsException: -1
  org.basex.util.list.IntList.get(IntList.java:65)
  org.basex.gui.view.info.InfoView.setInfo(InfoView.java:173)
  org.basex.gui.GUI.exec(GUI.java:402)
  org.basex.gui.GUI$6.run(GUI.java:343)

(see attached screenshot).

I can't provide a reproducible test case; my second attempt to change the attribute value succeeded, see log below,
but perhaps this backtrace helps the developers fix this issue.

 - Godmar

// log of successful execution upon second attempt
Query: replace value of node db:open-pre("feed_libx_dot_editions_at_gmail_dot_com_core", 827) with "161"
Compiling:
- pre-evaluating db:open-pre("feed_libx_dot_editions_at_gmail_dot_com_core", 827)
Result: replace value of node attribute src { "libx.editions@gmail.com/core/161" } with "161"
Timing:
 - Parsing:  0.66 ms
 - Compiling:  0.22 ms
 - Evaluating:  3.29 ms
 - Printing:  0.06 ms
 - Total Time:  4.25 ms
Result: 
- Hit(s): 0 Items
- Updated: 1 Item
- Printed: 0 Bytes
Query plan: 
<QueryPlan>
  <Replace>
    <DBNode name="feed_libx_dot_editions_at_gmail_dot_com_core" pre="827"/>
    <Str value="161" type="xs:string"/>
  </Replace>
</QueryPlan>