Thrusting of a volcanic arc: a new structural model for Java