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