JavaInitializedResource.st
branchcvs_MAIN
changeset 3917 94088b7097d5
parent 3412 df11bb428463