84         SimpleDateFormat dateF = new SimpleDateFormat("yyyyMMddHHmmss'Z'");  in DERGeneralizedTime()  local
86         dateF.setTimeZone(new SimpleTimeZone(0,"Z"));  in DERGeneralizedTime()
88         this.time = dateF.format(time);  in DERGeneralizedTime()
206         SimpleDateFormat dateF;  in getDate()  local
213                 dateF = new SimpleDateFormat("yyyyMMddHHmmss.SSSS'Z'");  in getDate()
217                 dateF = new SimpleDateFormat("yyyyMMddHHmmss'Z'");  in getDate()
220             dateF.setTimeZone(new SimpleTimeZone(0, "Z"));  in getDate()
227                 dateF = new SimpleDateFormat("yyyyMMddHHmmss.SSSSz");  in getDate()
231                 dateF = new SimpleDateFormat("yyyyMMddHHmmssz");  in getDate()
234             dateF.setTimeZone(new SimpleTimeZone(0, "Z"));  in getDate()
240                 dateF = new SimpleDateFormat("yyyyMMddHHmmss.SSSS");  in getDate()
244                 dateF = new SimpleDateFormat("yyyyMMddHHmmss");  in getDate()
247             dateF.setTimeZone(new SimpleTimeZone(0, TimeZone.getDefault().getID()));  in getDate()
250         return dateF.parse(d);  in getDate()