Updated to jsdev 3.12 API