equal
deleted
inserted
replaced
112 |
112 |
113 Integer usec = null; |
113 Integer usec = null; |
114 Integer seqno = null; |
114 Integer seqno = null; |
115 |
115 |
116 if (timestamp != null) |
116 if (timestamp != null) |
117 usec = new Integer(timestamp.getMicroSeconds()); |
117 usec = timestamp.getMicroSeconds(); |
118 |
118 |
119 if (seqNumber != null) { |
119 if (seqNumber != null) { |
120 seqno = new Integer(seqNumber.current()); |
120 seqno = seqNumber.current(); |
121 seqNumber.step(); |
121 seqNumber.step(); |
122 } |
122 } |
123 |
123 |
124 EncKrbPrivPart unenc_encKrbPrivPart = |
124 EncKrbPrivPart unenc_encKrbPrivPart = |
125 new EncKrbPrivPart(userData, |
125 new EncKrbPrivPart(userData, |