instructions.configure=\
   addRepository(name:Wesnoth Plugins Update Site,type:0,location:http${#58}//eclipse.wesnoth.org/updates/);\
   addRepository(name:Wesnoth Plugins Update Site,type:1,location:http${#58}//eclipse.wesnoth.org/updates/);