Sounds trivial, but the "publish" option is nowhere to be found.
This is what I get when right clicking the diagram
And the build menu doesn't allow to export an image either
Using Jdeveloper 12.1.3
Any clue most appreciated.
Clever me...
In case it could help someone else: Go to Diagram -> publish diagram
Voilà.