A simple utility to intern Java objects