Update prime10001st.java