Summary: Get java.io.tmpdir property in os::get_temp_directory() and call this instead of harcoding "/tmp".  Don't assume trailing file_separator either.
Reviewed-by: dholmes, kamg

Summary: I have collected some typos I have found while looking at the code.
Reviewed-by: kvn, never