diff --git a/server/IDEs/eclipse/Refine with extensions.launch b/server/IDEs/eclipse/Refine with extensions.launch index 71706088b..f24330974 100644 --- a/server/IDEs/eclipse/Refine with extensions.launch +++ b/server/IDEs/eclipse/Refine with extensions.launch @@ -1,15 +1,15 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + +