I had this issue - i am running windows 10, arduino ide 183 i tried the cmd prompt "setx _java_options -djavanetpreferipv4stack=true" i tried a fresh install of the arduino ide. Arduino board manager download error.
arduino board manager download error