Javascript constructor annotation