Java earthquake, Oct 11