Java Ternary Type Inference