minecraft server crasher

i need any minecraft server crasher

there are some for vanilla servers but bukkit servers are much more difficult to crash

This is called a ddos attack..

and how i use it/download it?