add JavaMOP header, RV-Monitor dependency