package it.cavallium.warppi.extra.mario; public class PositionEvent extends MarioEvent { }