protected Cache(Aladin aladin) {
this.aladin = aladin;
// Création de $HOME/.aladin/Cache si ce n'est déjà fait
if (!aladin.createCache()) return;
dir = getCacheDir();
File f = new File(dir);
if (!f.isDirectory() && !f.mkdir()) {
dir = null;
return;
}
todo = new Vector();
}
