Windows 8.1 Board Manager Error Downloading

Hi, I have recently picked up an Intel Edison Arduino board, and am trying to code with it by using the Arduino IDE. I have, however, ran into an issue that I have searched online for, but can not seem to solve. I am using Windows 8.1 and Java version 8 Update 45.

When opening up the Board Manager, I immediately get the error
"Error downloading http://downloads.arduino.cc/packages/package_index.json"

When checked in the debugger, I receive:

Error downloading https://github.com/01org/corelibs-edison/archive/1.6.2+1.0.ta
r.gz
java.lang.RuntimeException: java.lang.Exception: Error downloading https://githu
b.com/01org/corelibs-edison/archive/1.6.2+1.0.tar.gz
at cc.arduino.contributions.packages.ui.ContributionManagerUI$4.run(Cont
ributionManagerUI.java:182)
at java.lang.Thread.run(Thread.java:745)
Caused by: java.lang.Exception: Error downloading https://github.com/01org/corel
ibs-edison/archive/1.6.2+1.0.tar.gz
at cc.arduino.contributions.DownloadableContributionsDownloader.download
(DownloadableContributionsDownloader.java:100)
at cc.arduino.contributions.DownloadableContributionsDownloader.download
(DownloadableContributionsDownloader.java:63)
at cc.arduino.contributions.packages.ContributionInstaller.install(Contr
ibutionInstaller.java:104)
at cc.arduino.contributions.packages.ui.ContributionManagerUI$4.run(Cont
ributionManagerUI.java:176)
... 1 more
Caused by: java.net.SocketTimeoutException: connect timed out
at java.net.TwoStacksPlainSocketImpl.socketConnect(Native Method)
at java.net.AbstractPlainSocketImpl.doConnect(AbstractPlainSocketImpl.ja
va:345)
at java.net.AbstractPlainSocketImpl.connectToAddress(AbstractPlainSocket
Impl.java:206)
at java.net.AbstractPlainSocketImpl.connect(AbstractPlainSocketImpl.java
:188)
at java.net.PlainSocketImpl.connect(PlainSocketImpl.java:172)
at java.net.SocksSocketImpl.connect(SocksSocketImpl.java:392)
at java.net.Socket.connect(Socket.java:589)
at sun.security.ssl.SSLSocketImpl.connect(SSLSocketImpl.java:656)
at sun.net.NetworkClient.doConnect(NetworkClient.java:175)
at sun.net.www.http.HttpClient.openServer(HttpClient.java:432)
at sun.net.www.http.HttpClient.openServer(HttpClient.java:527)
at sun.net.www.protocol.https.HttpsClient.(HttpsClient.java:275)
at sun.net.www.protocol.https.HttpsClient.New(HttpsClient.java:371)
at sun.net.www.protocol.https.AbstractDelegateHttpsURLConnection.getNewH
ttpClient(AbstractDelegateHttpsURLConnection.java:191)
at sun.net.www.protocol.http.HttpURLConnection.plainConnect0(HttpURLConn
ection.java:1147)
at sun.net.www.protocol.http.HttpURLConnection.plainConnect(HttpURLConne
ction.java:998)
at sun.net.www.protocol.https.AbstractDelegateHttpsURLConnection.connect
(AbstractDelegateHttpsURLConnection.java:177)
at sun.net.www.protocol.https.HttpsURLConnectionImpl.connect(HttpsURLCon
nectionImpl.java:153)
at cc.arduino.utils.network.FileDownloader.download(FileDownloader.java:
137)
at cc.arduino.contributions.DownloadableContributionsDownloader.download
(DownloadableContributionsDownloader.java:98)
... 4 more

Needless to say, I can not get the Edison board (or any other board besides the default boards) on the Arduino IDE. I can download both files manually. Is there any way I can manually install these files or is there any way I can fix the board manager? Thanks!

It looks like the IDE cannot access internet. Did windows pop up its firewall notice and did you say "allow access" ?