Do we really still need mutex_<os>.inline.hpp?

[Volker Simonis]

Hi,

I've just realized, that the file mutex_<os>.inline.hpp is empty on
all OpenJDK supported operating systems. It actually includes some
other include files, but in my opinion this doesn't justify its
existance.

So if you don't use this file for something more meaningful in your
closed ports I'd suggest to remove it completely and add the few
additional includes right into the files which include
mutex_<os>.inline.hpp until now.

What do you think?

Regards,
Volker