The BPR of F-135 is 0.56, much bigger than that of F-119's 0.3, not to mention 0.25 of FWS-15.
From this parameter, we can tell that F35 is not a real 5-Gen fighter, because the higher BPR of the engine, the poorer high altitude and high speed performance of the fighter will be.
Let's wait and...