A pushdown automata in Java and parallel compute with Fork/Join