Removed eclipse-specific leftovers