Rename Socket to ServerSocket vibe-project/vibe-java-platform#13