timestamp for jclassconfig.h