JUnit fix: apparently, there's a Win/Unix difference somewhere...