On the Fokker-Planck solution for thermal noise in Josephson junctions