diff --git a/server/IDEs/eclipse/Refine with extensions.launch b/server/IDEs/eclipse/Refine with extensions.launch index 36c5941ae..c7b3bb597 100644 --- a/server/IDEs/eclipse/Refine with extensions.launch +++ b/server/IDEs/eclipse/Refine with extensions.launch @@ -1,15 +1,18 @@ - + - + + + - - - + + + +