Update TinyMic.java