JetBrains Air's September launch and concerns about its IDE-license business · Digg