Renaming org.dcevm -> com.github.dcevm

Well, dcevm.org domain is lost, so let's use com.github.dcevm for now.

1 files changed, 18 insertions, 0 deletions

diff --git a/agent/src/main/java/com/github/dcevm/agent/InstrumentationAgent.java b/agent/src/main/java/com/github/dcevm/agent/InstrumentationAgent.java
new file mode 100644
index 00000000..839027a2
--- /dev/null
+++ b/agent/src/main/java/com/github/dcevm/agent/InstrumentationAgent.java
@@ -0,0 +1,18 @@
+package com.github.dcevm.agent;
+
+import java.lang.instrument.Instrumentation;
+
+/**
+ * Simple agent to get access to the Instrumentation API.
+ */
+public class InstrumentationAgent {
+    public static Instrumentation INSTRUMENTATION;
+
+    public static void agentmain(String args, Instrumentation instr) {
+        INSTRUMENTATION = instr;
+    }
+
+    public static void premain(String args, Instrumentation instr) {
+        INSTRUMENTATION = instr;
+    }
+}