greenfoot.platforms is used in

|
ActorDelegate
|
GreenfootUtilDelegate
|
WorldHandlerDelegate