宮古島 地震 リアルタイム java unchecked assignment