oclstdlib.{oclstdlib,oclas} are occasionally copied from /org.eclipse.ocl.pivot/{model/OCL-2.5.oclstdlib,model-gen/OCL-2.5.oclas}

(The lag sometimes avoids confusion while testing a bad under-development OCL-2.5.oclstdlib)