fix java encoding on windows