And if you don't like the Dev launcher use mcversionchanger can get server files or mc .jar file for client, but it is buggy meaning sometimes it won't acctuql get the files, in that case just restart it.
I don't know URL off top of my head but its in the top 10 on google search
Hope I helped :)