package javajs.api;

public interface PlatformViewer {

// a placeholder for a class that might be used within classes called by Platform.java
  
}