Hi Thorsten, I'm glad to hear you've been able to further track down the problem. Thanks for documenting these things here.
On Mon, Jun 3, 2019 at 10:34 AM Thorsten Schöning <[email protected]> wrote: > > Settings (hardly used as XML) > > https://github.com/jOOQ/jOOQ/issues/7734 > > How do I need to understand that sentence? What are the alternatives > to using JAXB to load the settings from a file? Are other formats > supported as well and I missed those in the docs? Or are file-based > settings at all simply not very common with jOOQ? > The last, from what I can tell. If you're using file based settings, then yes, JAXB is a good option, and we don't support any other means out of the box. But throughout the manual, almost only programmatic construction of Settings is documented, so I doubt a lot of people are aware of the JAXB based option. > I'm asking because with my usage of JAXB I'm going to run into > problems with JDK 9 and 11 like you did already anyway. > > Am I supposed to use MiniJAXB to load the settings with jOOQ 3.12? If > I did use that for loading settings while JAXB is still available, > that might result in the same problems I have right now. > You can continue using JAXB, once you've set it up. As I said, MiniJAXB will be used behind the scenes if a JAXB implementation is not on the classpath (which it often isn't, post JDK 11). > I had situations in the past where it made debugging easier being able > to change those settings, but can't remember the details anymore. > Maybe I should considering hard-coding those things and get rid of > JAXB this way. Your life will definitely be much easier that way, given that you also no longer need to care about updating the xmlns version when we do it :) Cheers, Lukas -- You received this message because you are subscribed to the Google Groups "jOOQ User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jooq-user/CAB4ELO6SmSNJqziY%2B3jq25G-OPzTYrZ8GPodXdKJSr0X%3DWwywA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
