JavaStringRef2.st
changeset 3995 d65488cfad3c
parent 3605 da57f13e6a23