fixed: no stdout flush to eclipse console