Чем отличается Java Virtual Machine от Java Development Kit?