//# 0 errors, 240 messages
//#
/*
    //#movabletypeimporter.java:1:1: class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#movabletypeimporter.java:1:1: method: net.sourceforge.pebble.util.importer.MovableTypeImporter.net.sourceforge.pebble.util.importer.MovableTypeImporter__static_init
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.util.importer;

import net.sourceforge.pebble.Configuration;
import net.sourceforge.pebble.PebbleContext;
import net.sourceforge.pebble.dao.CategoryDAO;
import net.sourceforge.pebble.dao.DAOFactory;
import net.sourceforge.pebble.dao.file.FileDAOFactory;
import net.sourceforge.pebble.domain.Blog;
import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.domain.BlogService;
import net.sourceforge.pebble.domain.Category;
import net.sourceforge.pebble.domain.Comment;
import net.sourceforge.pebble.domain.State;
import net.sourceforge.pebble.domain.TrackBack;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileInputStream;
import java.io.InputStreamReader;
import java.text.SimpleDateFormat;
import java.util.ArrayList;
import java.util.Date;
import java.util.List;
import java.util.Locale;

/**
 * Simple utility to import posts Movable Type into Pebble.
 *
 * @author    Simon Brown
 */
public class MovableTypeImporter {
    //#movabletypeimporter.java:62: method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.net.sourceforge.pebble.util.importer.MovableTypeImporter()
    //#movabletypeimporter.java:62: end of method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.net.sourceforge.pebble.util.importer.MovableTypeImporter()

  /**
   * Starts the importer.
   */
  public static void main(String[] args) throws Exception {
    if (args.length != 3) {
    //#movabletypeimporter.java:68: method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.main(String[])
    //#input(void main(String[])): args
    //#input(void main(String[])): args.length
    //#input(void main(String[])): args[0]
    //#input(void main(String[])): args[1]
    //#input(void main(String[])): args[2]
    //#input(void main(String[])): java.lang.System.out
    //#input(void main(String[])): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).__Tag
    //#input(void main(String[])): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration
    //#input(void main(String[])): net/sourceforge/pebble/PebbleContext.__Descendant_Table[net/sourceforge/pebble/PebbleContext]
    //#input(void main(String[])): net/sourceforge/pebble/PebbleContext.__Dispatch_Table.getConfiguration()Lnet/sourceforge/pebble/Configuration;
    //#input(void main(String[])): net/sourceforge/pebble/PebbleContext.__Dispatch_Table.setConfiguration(Lnet/sourceforge/pebble/Configuration;)V
    //#input(void main(String[])): net/sourceforge/pebble/PebbleContext.instance
    //#output(void main(String[])): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration
    //#output(void main(String[])): new Configuration(main#2) num objects
    //#new obj(void main(String[])): new Configuration(main#2)
    //#pre[2] (void main(String[])): args != null
    //#pre[4] (void main(String[])): (soft) init'ed(args[0])
    //#pre[5] (void main(String[])): (soft) init'ed(args[1])
    //#pre[6] (void main(String[])): (soft) init'ed(args[2])
    //#pre[7] (void main(String[])): (soft) init'ed(net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration)
    //#presumption(void main(String[])): java.lang.System.out != null
    //#post(void main(String[])): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration == One-of{old net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration, &new Configuration(main#2)}
    //#post(void main(String[])): (soft) init'ed(net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration)
    //#post(void main(String[])): new Configuration(main#2) num objects <= 1
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.BufferedReader:readLine
    //#unanalyzed(void main(String[])): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void main(String[])): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void main(String[])): Effects-of-calling:java.util.List:add
    //#unanalyzed(void main(String[])): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setTitle
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuffer:length
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setBody
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setExcerpt
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setDate
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setAuthor
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setCommentsEnabled
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setTrackBacksEnabled
    //#unanalyzed(void main(String[])): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void main(String[])): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void main(String[])): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.Category
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.dao.DAOFactory:getConfiguredFactory
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.dao.DAOFactory:getCategoryDAO
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.dao.CategoryDAO:addCategory
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.Blog:addCategory
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addCategory
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setPublished
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogService
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogService:putBlogEntry
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:createComment
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addComment
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:createTrackBack
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addTrackBack
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.PrintStream:print
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.File:getName
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.PrintStream:println
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.InputStreamReader
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.BufferedReader
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries
    //#test_vector(void main(String[])): args.length: {3}, {0..2, 4..+Inf}
    //#test_vector(void main(String[])): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration: Inverse{null}, Addr_Set{null}
      System.out.println("Usage : net.sourceforge.pebble.util.importer.MovableTypeImporter %1 %2 %3");
      System.out.println("   %1 : location of MT export file");
      System.out.println("   %2 : location of Pebble blog");
      System.out.println("   %3 : time zone (e.g. Europe/London)");

      return;
    }

    File file = new File(args[0]);
    if(null == PebbleContext.getInstance().getConfiguration()){
      //to prevent NullPointerException upon UpdateNotificationPingsClient.sendUpdateNotificationPing()
      Configuration config = new Configuration();
    //#movabletypeimporter.java:80: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.Configuration()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.Configuration()
      config.setDataDirectory(args[1]);
    //#movabletypeimporter.java:81: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.Configuration:setDataDirectory(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.Configuration:setDataDirectory(String)
      config.setUrl("http://www.yourdomain.com/blog/");
    //#movabletypeimporter.java:82: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.Configuration:setUrl(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.Configuration:setUrl(String)
      PebbleContext.getInstance().setConfiguration(config);
    }

    DAOFactory.setConfiguredFactory(new FileDAOFactory());
    //#movabletypeimporter.java:86: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.file.FileDAOFactory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.file.FileDAOFactory()
    //#movabletypeimporter.java:86: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    Blog blog = new Blog(args[1]);
    //#movabletypeimporter.java:87: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Blog(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Blog(String)
    blog.setProperty(Blog.TIMEZONE_KEY, args[2]);
    //#movabletypeimporter.java:88: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Blog:setProperty(String, String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Blog:setProperty(String, String)

    importBlog(blog, file);
  }
    //#movabletypeimporter.java:91: end of method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.main(String[])

  /**
   * Imports a Movable Type blog from an export file.
   *
   * @param blog    the SimpleBlo to import to
   * @param file    the Movable Type export file
   * @throws Exception  if something goes wrong
   */
  private static void importBlog(Blog blog, File file) throws Exception {
    System.out.println("Importing " + file.getName());
    //#movabletypeimporter.java:101: method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.importBlog(Blog, File)
    //#input(void importBlog(Blog, File)): blog
    //#input(void importBlog(Blog, File)): file
    //#input(void importBlog(Blog, File)): java.lang.System.out
    //#pre[2] (void importBlog(Blog, File)): file != null
    //#pre[1] (void importBlog(Blog, File)): (soft) blog != null
    //#presumption(void importBlog(Blog, File)): java.lang.System.out != null
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.io.BufferedReader:readLine
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setTitle
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuffer:length
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setBody
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setExcerpt
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setDate
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setAuthor
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setCommentsEnabled
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setTrackBacksEnabled
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.Category
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.dao.DAOFactory:getConfiguredFactory
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.dao.DAOFactory:getCategoryDAO
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.dao.CategoryDAO:addCategory
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:addCategory
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addCategory
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setPublished
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogService
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogService:putBlogEntry
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:createComment
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addComment
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:createTrackBack
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addTrackBack
    //#unanalyzed(void importBlog(Blog, File)): Effects-of-calling:java.io.PrintStream:print

    BufferedReader reader = new BufferedReader(new InputStreamReader(new FileInputStream(file),"UTF8"));
    BlogEntry blogEntry = null;
    //#movabletypeimporter.java:104: Warning: unused assignment
    //#    unused assignment into blogEntry
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void importBlog(Blog, File)
    //#    Attribs:  Uncertain
    do {
      blogEntry = readBlogEntry(blog, reader);
    } while (blogEntry != null);

    System.out.println(" " + blog.getNumberOfBlogEntries());
    //#movabletypeimporter.java:109: Warning: method not available
    //#    -- call on int net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: void importBlog(Blog, File)
    //#    unanalyzed callee: int net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries()
  }
    //#movabletypeimporter.java:110: end of method: void net.sourceforge.pebble.util.importer.MovableTypeImporter.importBlog(Blog, File)

  private static BlogEntry readBlogEntry(Blog blog, BufferedReader reader) throws Exception {
    String line = reader.readLine();
    //#movabletypeimporter.java:113: method: BlogEntry net.sourceforge.pebble.util.importer.MovableTypeImporter.readBlogEntry(Blog, BufferedReader)
    //#input(BlogEntry readBlogEntry(Blog, BufferedReader)): blog
    //#input(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.System.out
    //#input(BlogEntry readBlogEntry(Blog, BufferedReader)): java.util.Locale.ENGLISH
    //#input(BlogEntry readBlogEntry(Blog, BufferedReader)): net.sourceforge.pebble.domain.State.APPROVED
    //#input(BlogEntry readBlogEntry(Blog, BufferedReader)): reader
    //#output(BlogEntry readBlogEntry(Blog, BufferedReader)): new BlogEntry(readBlogEntry#7) num objects
    //#output(BlogEntry readBlogEntry(Blog, BufferedReader)): return_value
    //#new obj(BlogEntry readBlogEntry(Blog, BufferedReader)): new BlogEntry(readBlogEntry#7)
    //#pre[2] (BlogEntry readBlogEntry(Blog, BufferedReader)): reader != null
    //#pre[1] (BlogEntry readBlogEntry(Blog, BufferedReader)): (soft) blog != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@120 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@122 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@124 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@126 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@128 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@132 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@139 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@155 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@161 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@173 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@185 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@197 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@241 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@244 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@245 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@246 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@247 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@248 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@251 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@263 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@264 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@265 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@266 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@267 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@270 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:indexOf(...)@142 <= 4_294_967_285
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.System.out != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): init'ed(java.util.Locale.ENGLISH)
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): net.sourceforge.pebble.dao.DAOFactory:getCategoryDAO(...)@230 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): net.sourceforge.pebble.dao.DAOFactory:getConfiguredFactory(...)@229 != null
    //#presumption(BlogEntry readBlogEntry(Blog, BufferedReader)): init'ed(net.sourceforge.pebble.domain.State.APPROVED)
    //#post(BlogEntry readBlogEntry(Blog, BufferedReader)): return_value in Addr_Set{null,&new BlogEntry(readBlogEntry#7)}
    //#post(BlogEntry readBlogEntry(Blog, BufferedReader)): new BlogEntry(readBlogEntry#7) num objects <= 1
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.io.BufferedReader:readLine(...)@113: Inverse{null}, Addr_Set{null}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@162: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@165: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@174: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@177: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@186: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@189: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@198: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@201: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@242: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@243: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@252: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@255: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@262: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@271: {0}, {1}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:equals(...)@274: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:indexOf(...)@141: {-1}, {-2_147_483_648..-2, 0..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:length(...)@134: {0}, {1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:length(...)@140: {1..4_294_967_295}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:length(...)@143: {0}, {1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.String:length(...)@227: {0}, {1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.StringBuffer:length(...)@210: {0}, {-2_147_483_648..-1, 1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.StringBuffer:length(...)@217: {0}, {-2_147_483_648..-1, 1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.lang.StringBuffer:length(...)@219: {0}, {-2_147_483_648..-1, 1..4_294_967_295}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.util.Iterator:hasNext(...)@226: {1}, {0}
    //#test_vector(BlogEntry readBlogEntry(Blog, BufferedReader)): java.util.Iterator:next(...)@226: Addr_Set{null}, Inverse{null}
    if (line == null) {
      return null;
    }
    SimpleDateFormat sdf = new SimpleDateFormat("MM/dd/yyyy hh:mm:ss a", Locale.ENGLISH);
    String author = line.substring("AUTHOR: ".length());
//    System.out.println("Author:" + author);
    String title = reader.readLine().substring("TITLE: ".length());
//    System.out.println("Title:" + title);
    String status = reader.readLine().substring("STATUS: ".length());
//    System.out.println("Status:" + status);
    String allowComments = reader.readLine().substring("ALLOW COMMENTS: ".length());
//    System.out.println("Allow comments:" + allowComments);
    String convertBreaks = reader.readLine().substring("CONVERT BREAKS: ".length());
    //#movabletypeimporter.java:126: Warning: unused assignment
    //#    unused assignment into convertBreaks
    //#    severity: LOW
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
//    System.out.println("Convert breaks:" + convertBreaks);
    String allowPings = reader.readLine().substring("ALLOW PINGS: ".length());
//    System.out.println("Allow pings:" + allowPings);
//    String primaryCategory = "";
    List<String> categories = new ArrayList<String>(1);
    line = reader.readLine();
    //    System.out.println("Primary category:" + primaryCategory);
    if(line.length() != 0){
      // the entry is categorized
//      primaryCategory = line.substring("PRIMARY CATEGORY: ".length());
      //    System.out.println("Primary category:" + primaryCategory);
//      if (primaryCategory.trim().length() > 0) {
        line = reader.readLine();
        while(line.length() > 0){
          if(line.indexOf("CATEGORY: ") != -1){
            String category = line.substring(line.indexOf("CATEGORY: ")+10);
            if(category.trim().length() > 0){
              categories.add(category);
            }
//            categories.add(line.substring(line.indexOf("CATEGORY: ")+10));
          }
          line = reader.readLine();
        }
//      System.out.println("Category:" + category);
//      }else{
//        reader.readLine(); // blank line
//      }
    }
    Date date = sdf.parse(reader.readLine().substring("DATE: ".length()));
//    System.out.println("Date:" + date);

    reader.readLine();
    reader.readLine();
    StringBuffer body = new StringBuffer();
    String bodyLine = reader.readLine();
    while (!bodyLine.equals("-----")) {
      body.append(bodyLine);
      bodyLine = reader.readLine();
      if (!bodyLine.equals("-----")) {
        body.append("<br />");
      }
    }
//    System.out.println("Body:" + body);

    reader.readLine();
    StringBuffer extendedBody = new StringBuffer();
    String extendedBodyLine = reader.readLine();
    while (!extendedBodyLine.equals("-----")) {
      extendedBody.append(extendedBodyLine);
      extendedBodyLine = reader.readLine();
      if (!extendedBodyLine.equals("-----")) {
        extendedBody.append("<br />");
      }
    }
//    System.out.println("Extended body:" + extendedBody);

    reader.readLine();
    StringBuffer excerpt = new StringBuffer();
    String excerptLine = reader.readLine();
    while (!excerptLine.equals("-----")) {
      excerpt.append(excerptLine);
      excerptLine = reader.readLine();
      if (!excerptLine.equals("-----")) {
        excerpt.append("<br />");
      }
    }
//    System.out.println("Excerpt:" + excerpt);

    reader.readLine();
    StringBuffer keywords = new StringBuffer();
    String keywordsLine = reader.readLine();
    while (!keywordsLine.equals("-----")) {
      keywords.append(keywordsLine);
      keywordsLine = reader.readLine();
      if (!keywordsLine.equals("-----")) {
        keywords.append("<br />");
      }
    }
//    System.out.println("Keywords:" + keywords);

    // create a new Pebble entry, add and store
    BlogEntry entry = new BlogEntry(blog);
    //#movabletypeimporter.java:208: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry(Blog)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry(Blog)
    entry.setTitle(title);
    //#movabletypeimporter.java:209: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
    if (extendedBody.length() != 0) {
      entry.setBody(body+"<br />"+extendedBody);
    //#movabletypeimporter.java:211: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
      entry.setExcerpt(body.toString());
    //#movabletypeimporter.java:212: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    }else{
      entry.setBody(body.toString());
    //#movabletypeimporter.java:214: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    }
    entry.setDate(date);
    //#movabletypeimporter.java:216: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setDate(Date)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setDate(Date)
    if (excerpt.length() != 0) {
      entry.setExcerpt(excerpt.toString());
    //#movabletypeimporter.java:218: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    }else if(extendedBody.length() != 0){
      entry.setExcerpt(body.toString());
    //#movabletypeimporter.java:220: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setExcerpt(String)
    }
    entry.setAuthor(author);
    //#movabletypeimporter.java:222: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setAuthor(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setAuthor(String)
    entry.setCommentsEnabled(allowComments.equals("1"));
    //#movabletypeimporter.java:223: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setCommentsEnabled(bool)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setCommentsEnabled(bool)
    entry.setTrackBacksEnabled(allowPings.equals("1"));
    //#movabletypeimporter.java:224: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setTrackBacksEnabled(bool)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setTrackBacksEnabled(bool)

    for (String categoryStr : categories) {
      if(categoryStr != null && categoryStr.trim().length() > 0) {
        Category category = new Category(categoryStr.trim(), categoryStr.trim());
    //#movabletypeimporter.java:228: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Category(String, String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Category(String, String)
        DAOFactory factory = DAOFactory.getConfiguredFactory();
    //#movabletypeimporter.java:229: Warning: method not available
    //#    -- call on DAOFactory net.sourceforge.pebble.dao.DAOFactory:getConfiguredFactory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: DAOFactory net.sourceforge.pebble.dao.DAOFactory:getConfiguredFactory()
        CategoryDAO dao = factory.getCategoryDAO();
    //#movabletypeimporter.java:230: Warning: method not available
    //#    -- call on CategoryDAO net.sourceforge.pebble.dao.DAOFactory:getCategoryDAO()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: CategoryDAO net.sourceforge.pebble.dao.DAOFactory:getCategoryDAO()
        dao.addCategory(category, blog);
    //#movabletypeimporter.java:231: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.CategoryDAO:addCategory(Category, Blog)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.CategoryDAO:addCategory(Category, Blog)
        blog.addCategory(category);
    //#movabletypeimporter.java:232: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Blog:addCategory(Category)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Blog:addCategory(Category)
        entry.addCategory(category);
    //#movabletypeimporter.java:233: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:addCategory(Category)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:addCategory(Category)
      }
    }
    entry.setPublished("Publish".equals(status));
    //#movabletypeimporter.java:236: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setPublished(bool)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setPublished(bool)

    BlogService service = new BlogService();
    //#movabletypeimporter.java:238: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService()
    service.putBlogEntry(entry);
    //#movabletypeimporter.java:239: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)

    line = reader.readLine();
    while (!line.equals("--------")) {
      if (line.equals("COMMENT:")) {
        String commentAuthor = reader.readLine().substring("AUTHOR: ".length());
        String commentEmail = reader.readLine().substring("EMAIL: ".length());
        String commentIpAddress = reader.readLine().substring("IP: ".length());
        String commentUrl = reader.readLine().substring("URL: ".length());
        Date commentDate = sdf.parse(reader.readLine().substring("DATE: ".length()));

        StringBuffer commentBody = new StringBuffer();
        String commentBodyLine = reader.readLine();
        while (!commentBodyLine.equals("-----")) {
          commentBody.append(commentBodyLine);
          commentBodyLine = reader.readLine();
          if (!commentBodyLine.equals("-----")) {
            commentBody.append("<br />");
          }
        }

        Comment comment = entry.createComment(null, commentBody.toString(), commentAuthor, commentEmail, commentUrl, commentIpAddress, commentDate, State.APPROVED);
    //#movabletypeimporter.java:260: Warning: method not available
    //#    -- call on Comment net.sourceforge.pebble.domain.BlogEntry:createComment(String, String, String, String, String, String, Date, State)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: Comment net.sourceforge.pebble.domain.BlogEntry:createComment(String, String, String, String, String, String, Date, State)
        entry.addComment(comment);
    //#movabletypeimporter.java:261: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:addComment(Comment)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:addComment(Comment)
      } else if (line.equals("PING:")) {
        String pingTitle = reader.readLine().substring("TITLE: ".length());
        String pingUrl = reader.readLine().substring("URL: ".length());
        String pingIpAddress = reader.readLine().substring("IP: ".length());
        String pingBlogName = reader.readLine().substring("BLOG NAME: ".length());
        Date pingDate = sdf.parse(reader.readLine().substring("DATE: ".length()));

        StringBuffer pingBody = new StringBuffer();
        String pingBodyLing = reader.readLine();
        while (!pingBodyLing.equals("-----")) {
          pingBody.append(pingBodyLing);
          pingBodyLing = reader.readLine();
          if (!pingBodyLing.equals("-----")) {
            pingBody.append("<br />");
          }
        }

        TrackBack trackBack = entry.createTrackBack(pingTitle, pingBody.toString(), pingUrl, pingBlogName, pingIpAddress, pingDate, State.APPROVED);
    //#movabletypeimporter.java:279: Warning: method not available
    //#    -- call on TrackBack net.sourceforge.pebble.domain.BlogEntry:createTrackBack(String, String, String, String, String, Date, State)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: TrackBack net.sourceforge.pebble.domain.BlogEntry:createTrackBack(String, String, String, String, String, Date, State)
        entry.addTrackBack(trackBack);
    //#movabletypeimporter.java:280: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:addTrackBack(TrackBack)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:addTrackBack(TrackBack)
      }
      line = reader.readLine();
    }

    service.putBlogEntry(entry);
    //#movabletypeimporter.java:285: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.MovableTypeImporter
    //#    method: BlogEntry readBlogEntry(Blog, BufferedReader)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)

//    System.out.println("--------------------------------------------------");
    System.out.print(".");

    return entry;
    //#movabletypeimporter.java:290: end of method: BlogEntry net.sourceforge.pebble.util.importer.MovableTypeImporter.readBlogEntry(Blog, BufferedReader)
  }

}
    //#output(net.sourceforge.pebble.util.importer.MovableTypeImporter__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/MovableTypeImporter]
    //#post(net.sourceforge.pebble.util.importer.MovableTypeImporter__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/MovableTypeImporter] == &__Dispatch_Table
    //#movabletypeimporter.java:: end of method: net.sourceforge.pebble.util.importer.MovableTypeImporter.net.sourceforge.pebble.util.importer.MovableTypeImporter__static_init
    //#movabletypeimporter.java:: end of class: net.sourceforge.pebble.util.importer.MovableTypeImporter
