minor bug fixes on NoTippingMultiThread.java