Automatic HotSpot repository detection (hard-coded for now)