Workaround for Thread.sleep() waking up too early under Windows for small times