workaround in Windows
add corrected repository uri due to change of the domain of github
correct vert.x download uri
add mods to ignore