public: // actually package-private
BasicSpinnerUI$5(::javax::swing::plaf::basic::BasicSpinnerUI$4 *);
public:
- void actionPerformed(::java::awt::event::ActionEvent *);
+ virtual void actionPerformed(::java::awt::event::ActionEvent *);
public: // actually package-private
::javax::swing::plaf::basic::BasicSpinnerUI$4 * __attribute__((aligned(__alignof__( ::java::lang::Object)))) this$1;
public: