arduino1.8.3 Board Manager is hanging with "Downloading Platforms Index..."

Title describes my problem succinctly. Is this a Java issue? [edit]: The Library Manager is also hanging with "Downloading Libraries Index..." WHERE in the IDE does one specify the IP addresses that the IDE should use for looking up these indices?

Do you see any error text output to the black console window at the bottom of the Arduino IDE window when this happens. If so, please paste the full output here using code tags (</> button on the toolbar).

Have you added anything at File > Preferences > Additional Boards Manager URLs? If so please post them.

Can you load this URL from your browser:
https://downloads.arduino.cc/packages/package_index.json

I was trying to use https://github.com/chipKIT32/chipKIT-core/raw/master/package_chipkit_index.json
in the Preferences URL additions window, but it doesn’t seem to make any difference if it’s typed in or not.
Also, the main IDE window (i.e., the black console portion) does not display anything when the board manager hangs.
Adding https://downloads.arduino.cc/packages/package_index.json to the preferences URLs does nothing also.
When https://downloads.arduino.cc/packages/package_index.json is placed in the Firefox Address string widget
nothing gets displayed, but I can view the page source code (in whatever language it’s written in).

Never mind :confused: , the Arduino IDE version (1.0.5+dfsg2-2) that comes with Linux Mint does not have either of these problems. The Linux Mint version does expect you to have the compressed library(s) that you want to add, which leads to a simpler question: WHERE are all the libraries??

stychokiller: the Arduino IDE version (1.0.5+dfsg2-2) that comes with Linux Mint does not have either of these problems.

That's because it doesn't have Boards Manager.

stychokiller: The Linux Mint version does expect you to have the compressed library(s) that you want to add, which leads to a simpler question: WHERE are all the libraries??

You'll need to explain that question better. What do you mean by "all the libraries"?

Currently, I do not have the Arduino USB library nor the compressed file for it, WHERE can I find the compressed file for it? Doesn't Arduino have some sort of repository for their libraries on the internet?

I'm not familiar with this "Arduino USB library".

Where did you hear about it?

Are you sure that's the exact name?

What are you trying to accomplish?