Eclipse plugin editor for AT