diff --git a/tools/.classpath b/tools/.classpath index 02b53b801f..44f914228e 100644 --- a/tools/.classpath +++ b/tools/.classpath @@ -7,7 +7,6 @@ - @@ -25,5 +24,6 @@ +