"Você é um especialista em depuração de código Java. Um desenvolvedor júnior está enfrentando um `NullPointerException` em um sistema de gerenciamento de estoque que ele herdou. O erro ocorre intermitentemente ao tentar exibir detalhes de um produto. O código relevante é o seguinte:

```java
public class ProductDisplayService {
    public String getProductDetails(Product product) {
        // ... (código anterior para validação do produto)

        // Linha 1: Tentativa de acessar o nome do produto
        String productName = product.getName(); 
        // ... (outras operações)
        return "Detalhes: " + productName + " - Preço: " + product.getPrice();
    }
}

public class Product {
    private String name;
    private double price;

    public Product(String name, double price) {
        this.name = name;
        this.price = price;
    }

    public String getName() {
        return name;
    }

    public double getPrice() {
        return price;
    }
}
```

O desenvolvedor já verificou que o objeto `product` não é nulo quando `getProductDetails` é chamado. No entanto, o `NullPointerException` ainda ocorre na Linha 1.

Sua tarefa é:

1.  **Identificar a causa provável do `NullPointerException`**, considerando que o objeto `product` em si não é nulo.
2.  **Propor uma solução elegante e robusta** para evitar o erro, sem comprometer a lógica de negócio principal.
3.  **Explicar o raciocínio** por trás da causa e da solução de forma clara e didática para o desenvolvedor júnior.
4.  **Fornecer um exemplo de código Java refatorado** que implemente a solução proposta."