@(url: String) @main("Welcome to Play") {

Welcome to Play WebSockets!

}