rendered paste body public void clearInput() {
StringBuffer sb = new StringBuffer("");
File[] files = input.getConnection().getModificationLogger().getFiles();
input.getConnection().getModificationLogger().dispose();
for (int i =0; i < files.length;i++){
try {
if (files[i] != null && files[i].exists() && ! files[i].delete()){
FileWriter fw = new FileWriter( files[i] );
fw.write("");
}
} catch (Exception e) {
sb.append(e.getMessage());
}
}
view.getMainWidget().getSourceViewer().setTopIndex( 0 );
view.getMainWidget().getSourceViewer().getDocument().set(sb.toString());
}