diff --git a/server/IDEs/eclipse/Refine.launch b/server/IDEs/eclipse/Refine.launch index a99fc1490..d10b023ca 100644 --- a/server/IDEs/eclipse/Refine.launch +++ b/server/IDEs/eclipse/Refine.launch @@ -7,7 +7,7 @@ - + - +