sqldeveloper export date with time

I am using SQLDeveloper 3.2

See https://forums.oracle.com/forums/thread.jspa?threadID=1023785



Tools/preferences/ date format="yyyy/mm/dd/ hh24:mi:ss"
this will generate dates as to_date('2013/05/07/ 12:03:43','yyyy/mm/dd/ hh24:mi:ss')