Integration of Solve for All with JetBrains IDEA products