instructions.configure=\
addRepository(type:0,location:http${#58}//download.eclipse.org/rmf/product-updates);\
addRepository(type:1,location:http${#58}//download.eclipse.org/rmf/product-updates);\
addRepository(type:0,location:http${#58}//update.formalmind.com/essentials);\
addRepository(type:1,location:http${#58}//update.formalmind.com/essentials);\
addRepository(type:0,location:http${#58}//download.eclipse.org/releases/indigo);\
addRepository(type:1,location:http${#58}//download.eclipse.org/releases/indigo);