[backend-jvstm-mem] Now extends from backend-jvstm-common

  * I suppose that this backend may be removed later. If I'm not mistaken
    jvstm-common, does the same thing (there may be subtle differences
    still).  Nevertheless, for now this maintains compatibility with
    applications that may be depending on this backend's name.
Remove redundant methods from code generators for RoleMany