Re: [basex-talk] Very niche question about BaseX 9.5.1 and java bindings

Hi Andy, exactly: In previous versions, the java.lang standard package needed to be specified. Best, Christian Andy Bunce schrieb am Mo., 22. Aug. 2022, 16:18: > Got it I think... > props:store·java.io.Writer·*java.lang.String*( > Q{java:java.io.FileWriter}new($source), "The saucer has

Re: [basex-talk] Very niche question about BaseX 9.5.1 and java bindings

Got it I think... props:store·java.io.Writer·*java.lang.String*( Q{java:java.io.FileWriter}new($source), "The saucer has landed") On Mon, 22 Aug 2022 at 15:11, Andy Bunce wrote: > Hi, > > I am trying to write a Java property file using v9.5.1 and no new Java > code. > The code below runs in

[basex-talk] Very niche question about BaseX 9.5.1 and java bindings

Hi, I am trying to write a Java property file using v9.5.1 and no new Java code. The code below runs in 9.7.3. Although it only uses 9.5 features in 9.5.1 it produces the error message props:store·java.io.Writer·String cannot be called with (Writer, String). but