Corrected return type in Executable interface