Category Archives: Java

Now this looks interesting: Java PathFinder (JPF) is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker, systematically exploring all … Continue reading →

Earlier this week I got an email from John Tangney, a user of nntp//rss, reporting a problem running the latest release on Mac OS X. After some investigation, it materializes that the problem is actually related to Apache Derby, the … Continue reading →

A posting on Brian Duff’s blog about creating native Windows launcher executables for Java applications inspired me to write a short posting about my experience with the Nullsoft Scriptable Install System (NSIS). I will not go into much detail about … Continue reading →

I’ve been working somewhat intensively with XDoclet over the past week, and, as it has proven to be quite a valuable tool, I thought I’d share my experience. The specific reason for my foray into this particular technology was to … Continue reading →

Mike Spille recently posted a three-part series covering XA and the joys of 2 Phase Commit. He provides a thorough description of the topic, with some great examples and good coverage to areas such as failure scenarios and recovery techniques. … Continue reading →

This list of profiling tools is mostly a personal aide-memoire, but it may be useful to others as well. If there are any glaring omissions, or you have any thoughts about the tools listed below, please feel free to leave … Continue reading →