Java functional replay library