intellij-idea-community_15.0.1-1_all.deb devel optional