Very simple Java card utilities