On Tue, 2018-12-04 at 15:15 +0000, Alan Bateman wrote: > > > You mail makes me wonder if it would be feasible to have a plugin that > > > does the stripping, maybe you've looked into that already? > > > > We've considered it, but I haven't looked into it. > > I think it's worth exploring, even if it means requiring the `strip` > tool on the system.
If that's an option I'll look into it: https://bugs.openjdk.java.net/browse/JDK-8214796 Thanks, Severin
