Event.getIntegerProperty(...) added