100644 blob 00bda57b1601859aa074b4795b82ab9eeb84c2d0	Activator.java
100644 blob f85dde9509cee648fa04a1a7d70ec4d11cbf166b	MonitorPreferences.java
040000 tree eb751c85ca28c120b28892282d170741389f79f1	htmlgeneration
040000 tree a241489f03a790dde4b29f9a2d1a34939b54a165	preferences
040000 tree c8b98087993fe8557bfc114943010b75280f5cac	util
040000 tree 6109e839b8018ea40052566f37badd377b71671a	views