remote javacc properties