This isn't correct, is it?

  Because the Java platform does not have a common interface
  to specify disposable objects, the Stab compiler uses the 
  stab.lang.Dispose annotation to find the method to call to 
  dispose the instances of a given type. 

Java has Closeable to specify this.

http://docs.oracle.com/javase/1.5.0/docs/api/java/io/Closeab...