} catch (IOException e) {
// not exactly true, but we consider here that this error is a crypt
// error, not a normal I/O error
} catch (IOException e) {
// not exactly true, but we consider here that this error is a crypt
// error, not a normal I/O error