// generated automatically by gen_date.awk

package com.netscape.jsdebugging.ifcui;

class BuildDate
{
    // Tuesday, September 15, 1998 at 12:00 PM

    public static final long buildDate = 905886043000L;

    public static final java.util.Date date()
    {
        return new java.util.Date(buildDate);
    }

    public static final String display()
    {
        return date().toString();
    }
}