JavaOmega: A Preprocessor for Java with M-parameters