public void dispose() {
   if (resource != null) {
     resource.dispose();
     resource = null;
   }
 }