Renamed products to avoid conflicts with 'real' OpenJK