I agree this is mostly a misuse like you said. We don't have any internal usage in all Google either so I would rather push users to not declare/catch such exceptions. Keeping such classes opens the door for more: https://gwt-review.googlesource.com/c/gwt/+/21320 I think IDE warnings in couple of corner cases is just a minor inconvenience for the end user.
On Thu, Jan 3, 2019 at 6:35 AM Jens <jens.nehlme...@gmail.com> wrote: > It is not a RuntimeException so even though you might be able to remove it > from GWT emulation code, your IDE will still annoy you in calling code to > either catch that exception or redeclare it because your IDE does not know > that GWT emul is cheating. If that calling code is exclusively within other > emulated code, then it kind of depends on how JDT behaves I guess. > > But honestly, it is just an exception and I would simply add it to GWT > emulation. Done. It is always preferable to have a single emulation within > GWT proper instead of one emulation per project that needs it with various > degrees of implementation quality. > > -- J. > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/188c7862-b408-467c-a140-4383cd619ca7%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/188c7862-b408-467c-a140-4383cd619ca7%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAN%3DyUA2ATYFgsxJkDvNQNeUgwioXdHt4PM3Z%2BgaOmM3QoDAjRw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.