Upgrade to better-boxen repo and to java7u25