I got the exception below when renaming a database. The renaming operation as such succeeded. It is just that exception that bothers me.
org.basex.core.BaseXException: Improper use? Potential bug? Your feedback is welcome: Contact: basex-talk@mailman.uni-konstanz.de Version: BaseX 7.3 Java: The Android Project, 0 OS: Linux, armv7l Stack Trace: java.lang.ArrayIndexOutOfBoundsException: length=8; index=-1 org.basex.util.list.TokenList.get(TokenList.java:106) org.basex.util.list.TwoWayTokenMap.set(TwoWayTokenMap.java:72) org.basex.util.list.TwoWayTokenMap.set(TwoWayTokenMap.java:87) org.basex.core.Databases.alter(Databases.java:72) org.basex.core.cmd.AlterDB.alter(AlterDB.java:63) org.basex.core.cmd.AlterDB.run(AlterDB.java:48) org.basex.core.Command.run(Command.java:326) org.basex.core.Command.exec(Command.java:305) org.basex.core.Command.execute(Command.java:77) org.basex.core.Command.execute(Command.java:89) ...