c_time_year_string = c_time_year_string.substring(0, c_time_year_string.indexOf(" "));
    private static long getCTime()    {      long c_time_msec = 0L;      String cdate_property =        pspInterface.getSystemProperty("org.cougaar.core.agent.startTime");      String timezone_property =        pspInterface.getSystemProperty("user.timezone");      if ((cdate_property == null) || (timezone_property == null))        return c_time_msec;      TimeZone tz = TimeZone.getTimeZone(timezone_property);      GregorianCalendar gc = new GregorianCalendar (tz);      StringTokenizer st = new StringTokenizer (cdate_property, "/");      String c_time_month_string = st.nextToken();      String c_time_day_string = st.nextToken();      String c_time_year_string = st.nextToken();      // Month is offset from zero, others are not      // Last three are hour, minute, second      gc.set (Integer.parseInt (c_time_year_string),              Integer.parseInt (c_time_month_string) - 1,              Integer.parseInt (c_time_day_string),              0, 0, 0);      c_time_msec = gc.getTime().getTime();      // This was needed to ensure that the milliseconds were set to 0      c_time_msec = c_time_msec / 1000;      c_time_msec *= 1000;      return c_time_msec;    }