arduino/Arduino — pull request #1871 by obra (2014-02-18 17:38:38+00:00)
Title: Don't try to fetch astyle/jre on each build.

Each time one runs 'ant build', the ant infrastructure tries to redownload files it's already cached. There's no real need to do so and it breaks the ability to build while offline.