A data cache dispatcher in Java