JBIDE-14088: Fix in mojo