A HTTP cache for Java