diff --git a/README.md b/README.md
index eb5ff7845b9ca82e8d1b8e8b8b7cfbd853800248..65c48f60b30466ed3873cda313046ffab4aac224 100644
--- a/README.md
+++ b/README.md
@@ -19,10 +19,16 @@ Several packages need to be installed.
 The following apt-get lists the packages that need to be
 installed on a Ubuntu Linux:
 
-    sudo apt-get install openjdk-7-jdk git cmake make g++ texinfo flex bison \
+    sudo apt-get install default-jdk git cmake make g++ texinfo flex bison \
       subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby1.9.1 \
       ruby1.9.1-dev python zlib1g-dev gtkwave gtkterm scala
 
+On a restricted machine (e.g. Cloud9) the bare minimum is:
+
+    sudo apt-get install default-jdk git cmake make g++ flex bison \
+      subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby1.9.1 \
+      ruby1.9.1-dev python zlib1g-dev
+
 Install sbt with:
 
     wget http://dl.bintray.com/sbt/debian/sbt-0.13.2.deb