| changeset 10419 | 12c063b39232 |
| parent 7668 | d4a77089c587 |
| child 12848 | da701d422d2c |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
451 } |
451 } |
452 } |
452 } |
453 ); |
453 ); |
454 } |
454 } |
455 catch (PrivilegedActionException e) { |
455 catch (PrivilegedActionException e) { |
456 throw new InternalError(e.toString()); |
456 throw new InternalError(e.toString(), e); |
457 } |
457 } |
458 |
458 |
459 int offset = 0; |
459 int offset = 0; |
460 |
460 |
461 /* First, read magic, version, and header_info. */ |
461 /* First, read magic, version, and header_info. */ |