equal
deleted
inserted
replaced
2618 if (ext.getClass() == Extension.class) { |
2618 if (ext.getClass() == Extension.class) { |
2619 byte[] v = ext.getExtensionValue(); |
2619 byte[] v = ext.getExtensionValue(); |
2620 if (v.length == 0) { |
2620 if (v.length == 0) { |
2621 out.println(rb.getString("(Empty value)")); |
2621 out.println(rb.getString("(Empty value)")); |
2622 } else { |
2622 } else { |
2623 new sun.misc.HexDumpEncoder().encode(ext.getExtensionValue(), out); |
2623 new sun.misc.HexDumpEncoder().encodeBuffer(ext.getExtensionValue(), out); |
2624 out.println(); |
2624 out.println(); |
2625 } |
2625 } |
2626 } |
2626 } |
2627 out.println(); |
2627 out.println(); |
2628 } |
2628 } |