bump idea-community-13.1.2