Remove workaround

Change-Id: I431340dcce69d6c0f047340392d059f89cc080e1
diff --git a/README.md b/README.md
index 5398985..0449810 100644
--- a/README.md
+++ b/README.md
@@ -31,19 +31,25 @@
 An example corpus as provided by [Kustvakt](https://github.com/KorAP/Kustvakt/)
 will be available as well.
 
-To update the software, simply run
-
-```
-$ git pull origin master
-$ vagrant provision
-```
-
 To stop the service, run
 
 ```
 $ vagrant halt
 ```
 
+To restart the service, run
+
+```
+$ vagrant up
+```
+
+To update the software, run
+
+```
+$ git pull origin master
+$ vagrant provision
+```
+
 To log into the machine, run
 
 $ vagrant ssh
diff --git a/Vagrantfile b/Vagrantfile
index 24989bd..4ff794b 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -10,6 +10,7 @@
   # More at https://vagrantcloud.com/search.
   config.vm.box = "ubuntu/xenial64"
 
+  # Memory size is set for installation of Krill
   config.vm.provider "virtualbox" do |vb|
     vb.customize ["modifyvm", :id, "--memory", "1024"]
   end
@@ -40,9 +41,6 @@
     sudo apt-get install -qq npm
     sudo apt-get install -qq ruby
 
-    # Workaround for https://bugs.launchpad.net/ubuntu/+source/ca-certificates-java/+bug/1396760
-    sudo /var/lib/dpkg/info/ca-certificates-java.postinst configure
-
     ###############################################
     echo "Install Koral"
     cd ~/