(specifications->manifest
 '(
   "icedtea:jdk" ; provides JDK 8
   "make"
   ))