jsdp: a Java Stochastic DP Library