from eclipse plugin