Also fix a problem with hotspot build in icedtea:7. Previously icedtea:7 was forced to use jamvm but now we default to hotspot.