Magnitude 6.5 quake shakes Indonesia’s Java