diff --git a/common.nix b/common.nix
index e902e8f..a75aa43 100644
--- a/common.nix
+++ b/common.nix
@@ -38,7 +38,7 @@
     subversion
     openjdk8
     sbt scala
-    idea.idea-community
+    # idea.idea-community
     firefoxWrapper
     qutebrowser
     chromium
@@ -65,7 +65,6 @@
     androidsdk_4_4
     gimp
     inkscape
-    # libreoffice
     jabref
     pdfpc
 
@@ -97,21 +96,19 @@
     why3
     graphviz
     # toysolver
-    # tip-lib
+    tip-lib
 
     coq_8_5
     emacsPackages.proofgeneral_4_3_pre
   ] ++ (with aspellDicts; [ en de fr nl ]);
 
   nixpkgs.config.packageOverrides = pkgs: rec {
-    oraclejdk8 = pkgs.openjdk8;
-
     idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
         name = "idea-community-${version}";
-        version = "15.eap";
+        version = "16.eap";
         src = pkgs.fetchurl {
-          url = "https://download.jetbrains.com/idea/ideaIC-143.1653.2.tar.gz";
-          sha256 = "ccc48970ebe2dd093ac2cf4adfe66b143090feca160c9dc9e4f6744eed11f25b";
+          url = "https://download.jetbrains.com/idea/ideaIC-144.3143.6-no-jdk.tar.gz";
+          sha256 = "2f05cceb0bb4ad1a6cb3117f8cf997740520f8935dc4a2b6940a86f0a08c121a";
         };
       });