Separation Logic Contracts for a Java-Like Language with Fork/Join