Error parsing gtk-icon-sizes string: ''
java.lang.NumberFormatException: For input string: "version 2013-07-07-17:51"
	at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65)
	at java.lang.Integer.parseInt(Integer.java:580)
	at java.lang.Integer.valueOf(Integer.java:766)
	at cc.arduino.contributions.VersionHelper.valueOf(VersionHelper.java:16)
	at cc.arduino.contributions.packages.DownloadableContribution.getParsedVersion(DownloadableContribution.java:97)
	at cc.arduino.contributions.libraries.LibrariesIndexer.scanLibrary(LibrariesIndexer.java:160)
	at cc.arduino.contributions.libraries.LibrariesIndexer.scanInstalledLibraries(LibrariesIndexer.java:122)
	at cc.arduino.contributions.libraries.LibrariesIndexer.rescanLibraries(LibrariesIndexer.java:102)
	at cc.arduino.contributions.libraries.LibrariesIndexer.setLibrariesFolders(LibrariesIndexer.java:90)
	at processing.app.BaseNoGui.onBoardOrPortChange(BaseNoGui.java:749)
	at processing.app.Base.onBoardOrPortChange(Base.java:1126)
	at processing.app.Base$10.actionPerformed(Base.java:1283)
	at processing.app.Base.rebuildBoardsMenu(Base.java:1259)
	at processing.app.Base.<init>(Base.java:258)
	at processing.app.Base.guardedMain(Base.java:198)
	at processing.app.Base.main(Base.java:113)