1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00
Commit Graph

1 Commits

Author SHA1 Message Date
Greg Lewis
666153e3b3 . Add the java/jmp port.
JMP is a profiler for java that can be used to trace objects usage and
	method timings. JMP uses the JVMPI interface to gather statistics and
	interact with the JVM. JMP uses a GTK+ interface to show the status.

PR:		47151, 48474, 50325
Submitted by:	Ronald Klop <ronald@cs.vu.nl>
2003-05-15 16:34:36 +00:00