Do not run java_virtual() from the back-end.
Authored by: jost_boekemeier 2018-01-02
Parent: [r1150]
Child: [r1152]
