devtools 1.4 now available