fixed .options file due to rename of plugin

plugins/org.eclipse.jem.ui/.options

diff --git a/plugins/org.eclipse.jem.ui/.options b/plugins/org.eclipse.jem.ui/.options
index 3d21ead..a7e0740 100644
--- a/plugins/org.eclipse.jem.ui/.options
+++ b/plugins/org.eclipse.jem.ui/.options
@@ -1,3 +1,3 @@
-org.eclipse.jem.beaninfo.ui/debug/logtrace=default
-org.eclipse.jem.beaninfo.ui/debug/logtracefile=default
-org.eclipse.jem.beaninfo.ui/debug/loglevel=default
+org.eclipse.jem.ui/debug/logtrace=default
+org.eclipse.jem.ui/debug/logtracefile=default
+org.eclipse.jem.ui/debug/loglevel=default