Todo. For the time being, please refer to the plugin.properties file in the aspectj plugin directory.