Magnitude 6.2 quake hits Indonesia's East Java, no tsunami potential