PNPACK: Computing with Probabilities in Java