What Java syntax is used to declare that a class PUG is extended from class DOG? class DOG super PUG { ... }; class PUG extends DOG { ... }; class PUG from DOG { ... }; class PUG : public DOG { ... };